A SIMPLE SEQUENT SYSTEM for MINIMALLY INCONSISTENT LP

Rea Golan

Research output: Contribution to journalArticlepeer-review

Abstract

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.

Original languageEnglish
JournalReview of Symbolic Logic
DOIs
StateAccepted/In press - 1 Jan 2022
Externally publishedYes

ASJC Scopus subject areas

  • Mathematics (miscellaneous)
  • Philosophy
  • Logic

Fingerprint

Dive into the research topics of 'A SIMPLE SEQUENT SYSTEM for MINIMALLY INCONSISTENT LP'. Together they form a unique fingerprint.

Cite this