ST, LP and Tolerant Metainferences

DOI10.1007/978-3-030-25365-3_18zbMath1469.03074OpenAlexW2998600196MaRDI QIDQ3305673

Bogdan Dicher, Francesco Paoli

Publication date: 10 August 2020

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-25365-3_18

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Related Items (25)

Inferences and metainferences in \(\mathsf{ST}\) ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ Knot is not that nasty (but it is hardier than tonk) ⋮ 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 ⋮ Classical logic is not uniquely characterizable ⋮ 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 ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ The laws of thought and the laws of truth as two sides of one coin ⋮ 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 ⋮ 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 ⋮ Sequent-calculi for metainferential logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logics of strict-tolerant logic
• Naive modus ponens and failure of transitivity
• Naive \textit{modus ponens}
• Tolerant, classical, strict
• Simple consequence relations
• The logic of paradox
• Anything goes
• What is the logic of inference?
• Equivalence of consequence operations
• Proof theory for fuzzy logics

This page was built for publication: ST, LP and Tolerant Metainferences