Gödel's God in Isabelle/HOL.

Christoph Benzmueller Bruno Woltzenlogel Paleo

Published in: Arch. Formal Proofs (2013)

Keyphrases

theorem prover
natural deduction
inference rules
digital world
theorem proving
first order logic
social bookmarking
higher order logic
cut elimination
sequent calculus
artificial intelligence
image processing
linear logic
formal methods
valued logic
modal logic
genetic algorithm