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
![Dieser Normdateneintrag wurde von einer Benutzerin oder einem Benutzer als gültig bestätigt.](/cache_202e45ad85b55efaeb29160f63cd3f3b/themes/FuCD/images/authority_control/invisible.gif)
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