dc.contributor.author
Golan, Rea
dc.date.accessioned
2023-12-19T06:45:29Z
dc.date.available
2023-12-19T06:45:29Z
dc.identifier.uri
https://refubium.fu-berlin.de/handle/fub188/35203
dc.identifier.uri
http://dx.doi.org/10.17169/refubium-34920
dc.description.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.
en
dc.format.extent
16 Seiten
dc.rights.uri
https://creativecommons.org/licenses/by/4.0/
dc.subject
proof theory
en
dc.subject
paraconsistent logics
en
dc.subject
Minimally inconsistent LP
en
dc.subject.ddc
100 Philosophie und Psychologie::100 Philosophie::102 Verschiedenes
dc.title
A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP
dc.type
Wissenschaftlicher Artikel
dcterms.bibliographicCitation.doi
10.1017/S1755020322000090
dcterms.bibliographicCitation.journaltitle
The Review of Symbolic Logic
dcterms.bibliographicCitation.number
4
dcterms.bibliographicCitation.pagestart
1296
dcterms.bibliographicCitation.pageend
1311
dcterms.bibliographicCitation.volume
16
dcterms.bibliographicCitation.url
https://doi.org/10.1017/S1755020322000090
refubium.affiliation
Philosophie und Geisteswissenschaften
refubium.affiliation.other
Institut für Philosophie
refubium.funding
Cambridge
refubium.note.author
Die Publikation wurde aus Open Access Publikationsgeldern der Freien Universität Berlin gefördert.
refubium.resourceType.isindependentpub
no
dcterms.accessRights.openaire
open access
dcterms.isPartOf.eissn
1755-0211
