Gödel's God in Isabelle/HOL

Benzmüller, Christoph; Woltzenlogel Paleo, Bruno

by Christoph Benzmüller, Bruno Woltzenlogel Paleo

Reference:

Gödel's God in Isabelle/HOL (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Archive of Formal Proofs, 2013. (This publication is formally verified with Isabelle/HOL)

Bibtex Entry:

@article{J28,
  Author =	 {Christoph Benzm\"uller and Woltzenlogel Paleo,
                  Bruno},
  Journal =	 {Archive of Formal Proofs},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Ontology
                  Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics},
  Note =	 {This publication is formally verified with Isabelle/HOL},
  Title =	 {{G{\"o}del's God in Isabelle/HOL}},
  Url =		 {http://afp.sourceforge.net/entries/GoedelGod.shtml},
  Year =	 2013,
}