Sign in
Exploring Simplified Variants of Gödel's Ontological Argument in Isabelle/HOL.
Christoph Benzmüller
Published in:
Arch. Formal Proofs (2021)
Keyphrases
</>
theorem prover
natural deduction
inference rules
first order logic
theorem proving
higher order logic
knowledge representation
sequent calculus
hypothetical reasoning
databases
machine learning
higher order
formal representation