Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 4
Abstract
An embedding of many-valued logics based on SIXTEEN in classical higher-order logic is presented. SIXTEEN generalizes the four-valued set of truth degrees of Dunn/Belnap’s system to a lattice of sixteen truth degrees with multiple distinct ordering relations between them. The theoretical motivation is to demonstrate that many-valued logics, like other non-classical logics, can be elegantly modeled (and even combined) as fragments of classical higher-order logic. Equally relevant are the pragmatic aspects of the presented approach: interactive and automated reasoning in many-valued logics, which have broad applications in computer science, artificial intelligence, linguistics, philosophy and mathematics, become readily enabled with state of the art reasoning tools for classical higher-order logic.
Authors and Affiliations
Alexander Steen, Christoph Benzmüller
Keywords
Related Articles
- EP ID EP202232
- DOI 10.12775/LLP.2016.021
- Views 105
- Downloads 0
Simple cut elimination proof for hybrid logic
In the paper we present a relatively simple proof of cut elimination theorem for variety of hybrid logics in the language with satisfaction operators and universal modality. The proof is based on the strategy introduced...
Composition, identity, and emergence
Composition as Identity (CAI) is the thesis that a whole is, strictly and literally, identical to its parts, considered collectively. McDaniel [2008] argues against CAI in that it prohibits emergent properties. Recently...
Aristotle's Correspondence Theory of Truth and What Does Not Exist
While nowhere does he use the term to refer to his own theory, Aristotle is often thought to exemplify an early correspondence theory of truth. In the paper, I examine the textual evidence used to support the idea that A...
Informal Fallacies as Abductive Inferences
All who teach logic are familiar with informal fallacies such as ad ignorantium (appeal to ignorance) and ad populum (appeal to popularity). While it is easy to give clear examples of poor reasoning of this sort, instruc...
Rational Agency from a Truth-Functional Perspective
The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of ra...