Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
From MaRDI portal
Publication:5282959
zbMATH Open1366.03169MaRDI QIDQ5282959FDOQ5282959
Authors: Christoph Benzmüller, Bruno Woltzenlogel Paleo 
Publication date: 18 July 2017
Full work available at URL: http://ebooks.iospress.nl/volumearticle/36922
Recommendations
- On logic embeddings and Gödel's God
- scientific article; zbMATH DE number 7594144
- Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
- Automating emendations of the ontological argument in intensional higher-order modal logic
- Computer-assisted analysis of the Anderson-Hájek ontological controversy
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)
Cited In (16)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Para-disagreement logics and their implementation through embedding in Coq and SMT
- Computer-assisted analysis of the Anderson-Hájek ontological controversy
- Cut-elimination for quantified conditional logic
- Variants of Gödel's ontological proof in a natural deduction calculus
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- The higher-order prover \textsc{Leo}-II
- Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments
- Gödel's god-like essence
- Automated search for Gödel's proofs
- Higher-order modal logics: automation and applications
- Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
- Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
- Incompleteness, Undecidability and Automated Proofs
- On logic embeddings and Gödel's God
- An object-logic explanation for the inconsistency in Gödel's ontological theory
Uses Software
This page was built for publication: Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5282959)
