TY - JOUR
T1 - A SIMPLE SEQUENT SYSTEM for MINIMALLY INCONSISTENT LP
AU - Golan, Rea
N1 - Publisher Copyright:
© 2022 Cambridge University Press. All rights reserved.
PY - 2022/1/1
Y1 - 2022/1/1
N2 - Minimally inconsistent LP (MiLP) is a nonmonotonic paraconsistent logic based on Graham Priest's logic of paradox (LP). Unlike LP, MiLP purports to recover, in consistent situations, all of classical reasoning. The present paper conducts a prooftheoretic analysis of MiLP. I highlight certain properties of this logic, introduce a simple sequent system for it, and establish soundness and completeness results. In addition, I show how to use my proof system in response to a criticism of this logic put forward by JC Beall.
AB - Minimally inconsistent LP (MiLP) is a nonmonotonic paraconsistent logic based on Graham Priest's logic of paradox (LP). Unlike LP, MiLP purports to recover, in consistent situations, all of classical reasoning. The present paper conducts a prooftheoretic analysis of MiLP. I highlight certain properties of this logic, introduce a simple sequent system for it, and establish soundness and completeness results. In addition, I show how to use my proof system in response to a criticism of this logic put forward by JC Beall.
UR - http://www.scopus.com/inward/record.url?scp=85125864183&partnerID=8YFLogxK
U2 - 10.1017/S1755020322000090
DO - 10.1017/S1755020322000090
M3 - Article
AN - SCOPUS:85125864183
JO - Review of Symbolic Logic
JF - Review of Symbolic Logic
SN - 1755-0203
ER -