Reference : Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Arts & humanities : Philosophy & ethics
Computational Sciences
http://hdl.handle.net/10993/37447
Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)
English
Kirchner, Daniel [> >]
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Zalta, Edward N. [> >]
2018
3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts
Yes
International
AITP 2018
from 25–03-2018 to 30-03-2018
Aussois
France
[en] own ; Higher Order Logic ; Higher Order Modal Logic ; Universal Reasoning ; Computational Metaphysics
http://hdl.handle.net/10993/37447
http://christoph-benzmueller.de/papers/C68.pdf

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
aitp18-proceedings.pdfPublisher postprint5.08 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.