Four-Valued Paradefinite Logics

Ofer Arieli, Arnon Avron

Research output: Contribution to journalArticlepeer-review

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.

Original languageEnglish
Pages (from-to)1087-1122
Number of pages36
JournalStudia Logica
Volume105
Issue number6
DOIs
StatePublished - 1 Dec 2017

Keywords

  • 4-valued logics
  • Paracompleteness
  • Paraconsistency

Fingerprint

Dive into the research topics of 'Four-Valued Paradefinite Logics'. Together they form a unique fingerprint.

Cite this