Title : Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)
Language : English
Author, co-author : Kirchner, Daniel [> >]
Benzmüller, Christoph [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Zalta, Edward N. [> >]
Publication date : 2018
Main document title : 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Book of Abstracts
Peer reviewed : Yes
Audience : International
Event name : AITP 2018
Event date : from 25–03-2018 to 30-03-2018
Event place (city) : Aussois
Event country : France
Keywords : [en] own ; Higher Order Logic ; Higher Order Modal Logic ; Universal Reasoning ; Computational Metaphysics
Permalink : http://hdl.handle.net/10993/37447
Other URL : http://christoph-benzmueller.de/papers/C68.pdf