Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)

Reference : Mechanizing Principia Logico-Metaphysica in Functional Type Theory (Extended Abstract)


	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Arts & humanities : Philosophy & ethics
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/37447

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

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	aitp18-proceedings.pdf		Publisher postprint	5.08 MB	View/Open

All documents in ORBi^lu are protected by a user license.