ST, LP and tolerant metainferences

DOI10.1007/978-3-030-25365-3_18MaRDI QIDQ3305673zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Inferences and metainferences in \(\mathsf{ST}\)
• The logics of strict-tolerant logic
• A model of tolerance
• A family of strict/tolerant logics
• A fully classical truth theory characterized by substructural means

Cites work

• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 3556029 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• Abstract algebraic logic. An introductory textbook
• Anything goes
• Doubt truth to be a liar
• Equivalence of consequence operations
• Gentzen's cut-free calculus versus the logic of paradox
• Multiple conclusions
• Naive \textit{modus ponens}
• Naive modus ponens and failure of transitivity
• Proof theory for fuzzy logics
• Proof-theoretic semantics
• Simple consequence relations
• The logic of paradox
• The logics of strict-tolerant logic
• Tolerant, classical, strict
• What is the logic of inference?

Cited in

(33)

• Sequent calculi for first-order ST
• A family of strict/tolerant logics
• \(\mathsf{ST}\) and \(\mathsf{TS}\) as product and sum
• A hybrid calculus for the validities and invalidities of classical propositional logic
• Knot is not that nasty (but it is hardier than tonk)
• (I can't get no) antisatisfaction
• The laws of thought and the laws of truth as two sides of one coin
• On the metainferential solution to the semantic paradoxes
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• Metainferential reasoning on strong Kleene models
• Metainferential duality
• Inferential constants
• Validities, antivalidities and contingencies: a multi-standard approach
• A hierarchy of classical and paraconsistent logics
• Anti-exceptionalism, truth and the BA-plan
• The logics of strict-tolerant logic
• Editorial introduction
• Classical logic is not uniquely characterizable
• Editorial introduction: substructural logics and metainferences
• Empty logics
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
• Metasequents and tetravaluations
• The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)
• Is Cantor's theorem a dialetheia? Variations on a paraconsistent approach to Cantor's theorem
• Inferences and metainferences in \(\mathsf{ST}\)
• On three-valued presentations of classical logic
• Requiem for logical nihilism, or: logical nihilism annihilated
• Deep \textsf{ST}
• Derivability and metainferential validity
• A family of metainferential logics
• A recovery operator for nontransitive approaches
• A fully classical truth theory characterized by substructural means
• Sequent-calculi for metainferential logics

This page was built for publication: ST, LP and tolerant metainferences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305673)