The logics of strict-tolerant logic

DOI10.1007/s10992-014-9342-6zbMath1350.03007OpenAlexW1999598455WikidataQ62125740 ScholiaQ62125740MaRDI QIDQ253131

Diego Tajer, Lucas Rosenblatt, Eduardo Alejandro Barrio

Publication date: 8 March 2016

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

Full work available at URL: https://doi.org/10.1007/s10992-014-9342-6

zbMATH Keywords

semantic paradoxessubstructural logicnon-transitive consequencestrict-tolerant logictransparent truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items

A family of strict/tolerant logics ⋮ Inferences and metainferences in \(\mathsf{ST}\) ⋮ Representation results for non-cumulative logics ⋮ Systems for non-reflexive consequence ⋮ Editorial introduction: substructural logics and metainferences ⋮ Deep \textsf{ST} ⋮ Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates ⋮ Metainferential reasoning on strong Kleene models ⋮ Empty logics ⋮ Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach ⋮ Metasequents and tetravaluations ⋮ Derivability and metainferential validity ⋮ (I can't get no) antisatisfaction ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ From many-valued consequence to many-valued connectives ⋮ Substructural logics, pluralism and collapse ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ Proof theory of paraconsistent weak Kleene logic ⋮ Truth meets vagueness. Unifying the semantic and the soritical paradoxes ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ Inferential constants ⋮ Anti-exceptionalism, truth and the BA-plan ⋮ The original sin of proof-theoretic semantics ⋮ Requiem for logical nihilism, or: logical nihilism annihilated ⋮ What is a Paraconsistent Logic? ⋮ ST, LP and Tolerant Metainferences ⋮ Structural weakening and paradoxes ⋮ A family of metainferential logics ⋮ A hierarchy of classical and paraconsistent logics ⋮ A RECOVERY OPERATOR FOR NONTRANSITIVE APPROACHES ⋮ Metainferential duality ⋮ Validities, antivalidities and contingencies: a multi-standard approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Tolerant, classical, strict
• Logical consequence and the paradoxes
• Tolerance and mixed consequence in the S'valuationist setting
• The semantics and proof theory of linear logic
• Substructural logics: a primer
• Quine and Slater on paraconsistency and deviance
• Labeled calculi and finite-valued logics
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• TRUTH WITHOUT CONTRA(DI)CTION
• Outline of a Theory of Truth
• Priest’s Motorbike and Tolerant Identity
• Sequents in many valued logic I