Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
From MaRDI portal
Publication:5282959
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
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
Describes a project that uses
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)
