On Logic Embeddings and Gödel’s God
From MaRDI portal
Publication:2787333
DOI10.1007/978-3-319-28114-8_1zbMath1472.03013MaRDI QIDQ2787333
Bruno Woltzenlogel Paleo, Christoph Benzmüller
Publication date: 25 February 2016
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-28114-8_1
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
03B35: Mechanization of proofs and logical operations
68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)
Related Items
GoedelGod, Variants of Gödel's ontological proof in a natural deduction calculus, Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
Uses Software