Minimally Nonstandard K3 and FDE

Rea Golan, Ulf Hlobil

Research output: Contribution to journalArticlepeer-review

Abstract

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.
Original languageEnglish
Article number3
Pages (from-to)182-213
Number of pages32
JournalThe Australasian Journal of Logic
Volume19
Issue number5
DOIs
StatePublished - 20 Dec 2022

Fingerprint

Dive into the research topics of 'Minimally Nonstandard K3 and FDE'. Together they form a unique fingerprint.

Cite this