Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract) (bibtex)
by Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Reference:
Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract) (Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta), In 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts (Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban, eds.), 2018. (Url (preprint): http://christoph-benzmueller.de/papers/C68.pdf)
Bibtex Entry:
@inproceedings{C68,
  Author =	 {Daniel Kirchner and Christoph Benzm{\"u}ller and
                  Zalta, Edward N.},
  Keywords =	 {own, Higher Order Logic, Higher Order Modal Logic,
                  Universal Reasoning, Computational Metaphysics},
  Title =	 {Mechanizing Principia Logico-Metaphysica in
                  Functional Type Theory (Extended Abstract)},
  editor =	 {Hales, Thomas C. and Kaliszyk, Cezary and Schulz,
                  Stephan and Urban, Josef},
  Booktitle =	 {3rd Conference on Artificial Intelligence and
                  Theorem Proving (AITP 2018), Book of Abstracts},
  year =	 2018,
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C68.pdf}},
}
Powered by bibtexbrowser