Universal (Meta-)Logical Reasoning: Recent Successes

Reference : Universal (Meta-)Logical Reasoning: Recent Successes


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/37443

Title :	Universal (Meta-)Logical Reasoning: Recent Successes
Language :	English
Author, co-author :	Benzmüller, Christoph [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	12-Nov-2018
Journal title :	Science of Computer Programming
Publisher :	Elsevier
Peer reviewed :	Yes (verified by ORBi^lu)
Audience :	International
ISSN :	0167-6423
Country :	Netherlands
Keywords :	[en] computational metaphysics ; classical higher-order logic ; universal logical reasoning
Abstract :	[en] Classical higher-order logic, when utilized as a meta-logic in which various other (classical and non-classical) logics can be shallowly embedded, is suitable as a foundation for the development of a universal logical reasoning engine. Such an engine may be employed, as already envisioned by Leibniz, to support the rigorous formalisation and deep logical analysis of rational arguments on the computer. A respective universal logical reasoning framework is described in this article and a range of successful first applications in philosophy, artificial intelligence and mathematics are surveyed.
Permalink :	http://hdl.handle.net/10993/37443
DOI :	10.1016/j.scico.2018.10.008

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	article-preprint-RG.pdf		Author preprint	1.42 MB	View/Open

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