Variants of Gödel's ontological proof in a natural deduction calculus
From MaRDI portal
Publication:2363503
DOI10.1007/s11225-016-9700-1zbMath1417.03153MaRDI QIDQ2363503
Bruno Woltzenlogel Paleo, Annika Kanckos
Publication date: 19 July 2017
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10138/235481
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
03F03: Proof theory in general (including proof-theoretic semantics)
Uses Software