A Simple Sequent System for Minimally Inconsistent LP

R. E.A. Golan

doi:10.1017/S1755020322000090

A Simple Sequent System for Minimally Inconsistent LP

R. E.A. Golan

Research output: Contribution to journal › Article › peer-review

3 Scopus citations

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 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 language	English
Pages (from-to)	1296-1311
Number of pages	16
Journal	Review of Symbolic Logic
Volume	16
Issue number	4
DOIs	https://doi.org/10.1017/S1755020322000090
State	Accepted/In press - 19 Dec 2023
Externally published	Yes

Keywords

03F03 03B53

ASJC Scopus subject areas

Mathematics (miscellaneous)
Philosophy
Logic

Access to Document

10.1017/S1755020322000090

Cite this

@article{e0885bdfa7c34ddc91233d37ffc17a3f,

title = "A Simple Sequent System for Minimally Inconsistent LP",

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 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.",

keywords = "03F03 03B53",

author = "Golan, {R. E.A.}",

year = "2023",

month = dec,

day = "19",

doi = "10.1017/S1755020322000090",

language = "English",

volume = "16",

pages = "1296--1311",

journal = "Review of Symbolic Logic",

issn = "1755-0203",

publisher = "Cambridge University Press",

number = "4",

}

TY - JOUR

T1 - A Simple Sequent System for Minimally Inconsistent LP

AU - Golan, R. E.A.

PY - 2023/12/19

Y1 - 2023/12/19

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 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.

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 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.

KW - 03F03 03B53

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

SN - 1755-0203

VL - 16

SP - 1296

EP - 1311

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

IS - 4

ER -

A Simple Sequent System for Minimally Inconsistent LP

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this