Minimally inconsistent LP

DOI10.1007/BF00370190zbMath0748.03017DBLPjournals/sLogica/Priest91WikidataQ29012611 ScholiaQ29012611MaRDI QIDQ1181492

Graham Priest

Publication date: 27 June 1992

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

monotonicity propertyparaconsistent logicsminimally inconsistent logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (49)

Adaptive Fregean set theory ⋮ The unexpected applicability of paraconsistent logic: a Chomskyan route to dialetheism ⋮ Modular semantics for theories: an approach to paraconsistent reasoning ⋮ On an MCS-based inconsistency measure ⋮ On Measuring Inconsistency Using Maximal Consistent Sets ⋮ An adaptive logic based on Jaśkowski's approach to paraconsistency ⋮ 1992 Annual Meeting of the Australasian Association for Logic ⋮ Inconsistent models of arithmetic. I: Finite models ⋮ EXPRESSIVE LIMITATIONS OF NAÏVE SET THEORY IN LP AND MINIMALLY INCONSISTENT LP. ⋮ Tableau systems for paraconsistency and minimal inconsistency ⋮ Inconsistency-tolerant reasoning over linear probabilistic knowledge bases ⋮ Four-valued paradefinite logics ⋮ A semantics for reasoning consistently in the presence of inconsistency ⋮ Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases ⋮ Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ On the measure of conflicts: Shapley inconsistency values ⋮ A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP ⋮ Notes on the model theory of DeMorgan logics ⋮ Comparing Some Substructural Strategies Dealing with Vagueness ⋮ Unnamed Item ⋮ A syntax-based approach to measuring the degree of inconsistency for belief bases ⋮ Recovering Consistency by Forgetting Inconsistency ⋮ Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases ⋮ S7 ⋮ Preferential semantics using non-smooth preference relations ⋮ Nonmonotonicity and Knowability: As Knowable as Possible ⋮ Pragmatic interpretations of vague expressions: strongest meaning and nonmonotonic consequence ⋮ Variations on the Collapsing Lemma ⋮ Annotated Natural Deduction for Adaptive Reasoning ⋮ On Non-transitive “Identity” ⋮ Some Comments and Replies ⋮ On argumentation logic and propositional logic ⋮ New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency ⋮ A SIMPLE APPROACH TOWARDS RECAPTURING CONSISTENT THEORIES IN PARACONSISTENT SETTINGS ⋮ The scope of Gödel's first incompleteness theorem ⋮ Inconsistency in mathematics and the mathematics of inconsistency ⋮ Distance-based paraconsistent logics ⋮ A note on Priest's finite inconsistent arithmetics ⋮ Reasoning under inconsistency: a forgetting-based approach ⋮ On the Methodology of Paraconsistent Logic ⋮ Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity ⋮ MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY ⋮ The value of the four values ⋮ Reasoning with different levels of uncertainty ⋮ Ways things can't be ⋮ Three-Valued Paraconsistent Propositional Logics ⋮ Measuring coherence using LP-models ⋮ REMARKS ON NAIVE SET THEORY BASED ONLP ⋮ Approaches to measuring inconsistency for stratified knowledge bases

Cites Work

• The logic of paradox
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Minimally inconsistent LP