Stanislaw Krajewski

Publication Activity (10 Years)

Years Active: 1992-2019
Publications (10 Years): 3

Top Topics

Mathematical Models

Automated Reasoning

Top Venues

Logica Universalis

Publications

Stanislaw Krajewski, Marcin Trepczynski
Theological Discourse and Logic. Logica Universalis 13 (4) (2019)
Stanislaw Krajewski
Mathematical Models in Theology. A Buber-inspired Model of God and its Application to "Shema Israel". FLAP 6 (6) (2019)
Stanislaw Krajewski, Ricardo Silvestre
Logic and the Concept of God. FLAP 6 (6) (2019)
Stanislaw Krajewski
On Gödel's Theorem and Mechanism: Inconsistency or Unsoundness is Unavoidable in any Attempt to 'Out-Gö del' the Mechanist. Fundam. Informaticae 81 (1-3) (2007)
Stanislaw Krajewski, Jan Wolenski
Andrzej Grzegorczyk: Logic and Philosophy. Fundam. Informaticae 81 (1-3) (2007)
Stanislaw Krajewski
Gödel on Tarski. Ann. Pure Appl. Log. 127 (1-3) (2004)
Stanislaw Krajewski
Note on grammatical translations of logical calculi. Arch. Math. Log. 31 (4) (1992)