Mechanizing Principia Logico-Metaphysica in Functional Type Theory (bibtex)
by Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Reference:
Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta), Technical report, CoRR, 2017. (Preprint of submitted article)
Bibtex Entry:
@techreport{R60,
  Author =	 {Kirchner, Daniel and Benzm{\"u}ller, Christoph 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},
  Institution =	 {CoRR},
  Note =	 {\url{https://arxiv.org/abs/1711.06542}},
  Url =		 {https://arxiv.org/abs/1711.06542},
  Year =	 2017,
  Note =	 {Preprint of submitted article}
}
Powered by bibtexbrowser