A Simple Sequent System for Minimally Inconsistent LP

Research output: Contribution to journalArticlepeer-review


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 proof-theoretic 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 J. C. Beall.

Original languageEnglish
Pages (from-to)1296-1311
Number of pages16
JournalReview of Symbolic Logic
Issue number4
StateAccepted/In press - 19 Dec 2023
Externally publishedYes


  • 03F03 03B53

ASJC Scopus subject areas

  • Logic
  • Philosophy
  • Mathematics (miscellaneous)


Dive into the research topics of 'A Simple Sequent System for Minimally Inconsistent LP'. Together they form a unique fingerprint.

Cite this