Minimally Nonstandard K3 and FDE

Australasian Journal of Logic 19 (5):182-213 (2022)
  Copy   BIBTEX


Graham Priest has formulated the minimally inconsistent logic of paradox (MiLP), which is paraconsistent like Priest’s logic of paradox (LP), while staying closer to classical logic. We present logics that stand to (the propositional fragments of) strong Kleene logic (K3) and the logic of first-degree entailment (FDE) as MiLP stands to LP. That is, our logics share the paracomplete and the paraconsistent-cum-paracomplete nature of K3 and FDE, respectively, while keeping these features to a minimum in order to stay closer to classical logic. We give semantic and sequent-calculus formulations of these logics, and we highlight some reasons why these logics may be interesting in their own right.

Author Profiles

Rea Golan
Ben-Gurion University of the Negev
Ulf Hlobil
Concordia University


Added to PP

333 (#50,815)

6 months
127 (#29,265)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?