We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Four-Valued Paradefinite Logics.
- Authors
Arieli, Ofer; Avron, Arnon
- Abstract
Paradefinite ('beyond the definite') logics are logics that can be used for handling contradictory or partial information. As such, paradefinite logics should be both paraconsistent and paracomplete. In this paper we consider the simplest semantic framework for introducing paradefinite logics. It consists of the four-valued matrices that expand the minimal matrix which is characteristic for first degree entailments: Dunn-Belnap matrix. We survey and study the expressive power and proof theory of the most important logics that can be developed in this framework.
- Publication
Studia Logica, 2017, Vol 105, Issue 6, p1087
- ISSN
0039-3215
- Publication type
Article
- DOI
10.1007/s11225-017-9721-4