Types, Tableaus and Gödel's God in Isabelle/HOL (bibtex)
by David Fuenmayor, Christoph Benzmüller
Reference:
Types, Tableaus and Gödel's God in Isabelle/HOL (David Fuenmayor, Christoph Benzmüller), In Archive of Formal Proofs, 2017. (This publication is formally verified with Isabelle/HOL)
Bibtex Entry:
@article{J35,
  Author =	 {David Fuenmayor and Christoph Benzm\"uller},
  Journal =	 {Archive of Formal Proofs},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Ontology
                  Reasoning, Higher Order Logic, Computational
                  Metaphysics},
  Note =	 {This publication is formally verified with Isabelle/HOL},
  Title =	 {{Types, Tableaus and G{\"o}del's God in
                  Isabelle/HOL}},
  Url =
                  {http://afp.sourceforge.net/entries/Types_Tableaus_and_Goedels_God.shtml},
  Year =	 2017,
}
Powered by bibtexbrowser