Four-Valued Paradefinite Logics

Ofer Arieli*, Arnon Avron

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review


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
Issue number6
StatePublished - 1 Dec 2017


FundersFunder number
Israel Science Foundation817/15


    • 4-valued logics
    • Paracompleteness
    • Paraconsistency


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

    Cite this