Sequent-calculi for metainferential logics

DOI10.1007/S11225-021-09967-WMaRDI QIDQ2118968zbMATH OpenOpenAlexFDO

Authors Bruno Da Ré, Federico Matias Pailos

Publication date 23 March 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-021-09967-w

zbMATH Keywords

metainferenceshierarchy of logicssequent-calculi

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• A family of metainferential logics
• Deep \textsf{ST}
• Translating metainferences into formulae: satisfaction operators and sequent calculi
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• A hierarchy of classical and paraconsistent logics

Cites work

• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• A family of metainferential logics
• A fully classical truth theory characterized by substructural means
• A hierarchy of classical and paraconsistent logics
• A paraconsistent route to semantic closure
• Characterizing logical consequence in many-valued logic
• Conservatively extending classical logic with transparent truth
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• Cut-elimination and deductive polarization in complementary classical logic
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• Non-classical elegance for sequent calculus enthusiasts
• On all strong Kleene generalizations of classical logic
• Proof theory. 2nd ed
• Refutation systems in modal logic
• ST, LP and tolerant metainferences
• Sequent calculi for propositional nonmonotonic logics
• Tolerant, classical, strict
• Towards a non-classical meta-theory for substructural approaches to paradox
• Truth and falsehood. An inquiry into generalized logical values
• Valuational semantics of rule derivability
• What is a paraconsistent logic?
• \(\mathrm{LP}^{+}\), \(\mathrm{K3}^{+}\), \(\mathrm{FDE}^{+}\), and their `classical collapse'

Cited in

(10)

• On the metainferential solution to the semantic paradoxes
• Inferences and metainferences in \(\mathsf{ST}\)
• Formalized meta-theory of sequent calculi for substructural logics
• Inferential constants
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• Metainferential reasoning on strong Kleene models
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
• Metasequents and tetravaluations
• A hybrid calculus for the validities and invalidities of classical propositional logic
• Systems for non-reflexive consequence

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Sequent-calculi for metainferential logics

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