A hierarchy of classical and paraconsistent logics

DOI10.1007/s10992-019-09513-zzbMath1471.03053OpenAlexW2938145278WikidataQ128091091 ScholiaQ128091091MaRDI QIDQ2301322

Damian Szmuc, Federico Matias Pailos, Eduardo Alejandro Barrio

Publication date: 24 February 2020

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-019-09513-z

zbMATH Keywords

substructural logicsabstract logicidentity of logicsmetainference

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Paraconsistent logics (03B53)

Related Items (28)

A family of strict/tolerant logics ⋮ Inferences and metainferences in \(\mathsf{ST}\) ⋮ Transfinite meta-inferences ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ Editorial introduction: substructural logics and metainferences ⋮ One step is enough ⋮ Deep \textsf{ST} ⋮ Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates ⋮ Metainferential reasoning on strong Kleene models ⋮ Classical logic is not uniquely characterizable ⋮ Supervaluations and the strict-tolerant hierarchy ⋮ Empty logics ⋮ Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach ⋮ Derivability and metainferential validity ⋮ The final cut ⋮ (I can't get no) antisatisfaction ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ Substructural logics, pluralism and collapse ⋮ Inferential constants ⋮ On the metainferential solution to the semantic paradoxes ⋮ Anti-exceptionalism, truth and the BA-plan ⋮ Requiem for logical nihilism, or: logical nihilism annihilated ⋮ Classical logic and the strict tolerant hierarchy ⋮ A hierarchy of classical and paraconsistent logics ⋮ Metainferential duality ⋮ Validities, antivalidities and contingencies: a multi-standard approach ⋮ The Strict/Tolerant Idea and Bilattices ⋮ Sequent-calculi for metainferential logics

Cites Work

• Unnamed Item
• Unnamed Item
• The logics of strict-tolerant logic
• On all strong Kleene generalizations of classical logic
• Naive \textit{modus ponens}
• Tolerant, classical, strict
• What logical pluralism cannot be
• Tolerance and mixed consequence in the S'valuationist setting
• Valuational semantics of rule derivability
• Noncontractive classical logic
• A hierarchy of classical and paraconsistent logics
• Equivalence of consequence operations
• The original sin of proof-theoretic semantics
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• What is a Paraconsistent Logic?
• ST, LP and Tolerant Metainferences
• A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS
• A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES
• Priest’s Motorbike and Tolerant Identity
• A family of metainferential logics
• OUP accepted manuscript

This page was built for publication: A hierarchy of classical and paraconsistent logics