Reference : Universal (Meta-)Logical Reasoning: Recent Successes
Scientific journals : Article
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/37443
Universal (Meta-)Logical Reasoning: Recent Successes
English
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
12-Nov-2018
Science of Computer Programming
Elsevier
Yes (verified by ORBilu)
International
0167-6423
Netherlands
[en] computational metaphysics ; classical higher-order logic ; universal logical reasoning
[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.
http://hdl.handle.net/10993/37443
10.1016/j.scico.2018.10.008

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
article-preprint-RG.pdfAuthor preprint1.42 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.