On Logic Embeddings and Gödel’s God
From MaRDI portal
Publication:2787333
DOI10.1007/978-3-319-28114-8_1zbMath1472.03013OpenAlexW994135982MaRDI 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
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items
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, GoedelGod
Uses Software
