Partial and paraconsistent three-valued logics
Journal Title: Logic and Logical Philosophy - Year 2016, Vol 25, Issue 2
Abstract
On the sidelines of classical logic, many partial and paraconsistent three-valued logics have been developed. Most of them differ in the notion of logical consequence or in the definition of logical connectives. This article aims, firstly, to provide both a model-theoretic and a proof-theoretic unified framework for these logics and, secondly, to apply these general frameworks to several well-known three-valued logics. The proof-theoretic approach to which we give preference is sequent calculus. In this perspective, several results concerning the properties of functional completeness, cut redundancy, and proof-search procedure are shown. We also provide a general proof for the soundness and the completeness of the three sequent calculi discussed.
Authors and Affiliations
Vincent Degauquier
Keywords
Related Articles
- EP ID EP201816
- DOI 10.12775/LLP.2016.003
- Views 67
- Downloads 0
The Case of Dialetheism
The concept of dialetheia and the claim of dialetheism has been examined and compared to such related concept as contradiction, antinomy, consistency and paraconsistency. Dialetheia is a true contradiction and dialetheis...
Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Springer, 2016
Book Reviews: Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016, vii + 197 pages, ISBN: 978-3-319-20761-2 (Print), 978-3-319-20762-9 (Online)....
Composition as identity and plural Cantor's theorem
In this paper, I argue that the thesis of Composition as Identity blocks the plural version of Cantor’s Theorem, and that this in turn has implications for our use of Cantor’s theorem in metaphysics. As an example, I sho...
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...
Relational semantics for the 4-valued relevant logics BN4 and E4
The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The a...