Sequent-calculi for metainferential logics

DOI10.1007/S11225-021-09967-WOpenAlexW3201426572MaRDI QIDQ2118968

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)

Related Items (3)

Systems for non-reflexive consequence ⋮ Inferential constants ⋮ On the metainferential solution to the semantic paradoxes

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On all strong Kleene generalizations of classical logic
• Tolerant, classical, strict
• Non-classical elegance for sequent calculus enthusiasts
• Truth and falsehood. An inquiry into generalized logical values
• Proof theory. 2nd ed
• Refutation systems in modal logic
• Cut elimination, identity elimination, and interpolation in super-Belnap logics
• Valuational semantics of rule derivability
• Towards a non-classical meta-theory for substructural approaches to paradox
• A hierarchy of classical and paraconsistent logics
• CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
• MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
• What is a Paraconsistent Logic?
• ST, LP and Tolerant Metainferences
• OUP accepted manuscript
• A paraconsistent route to semantic closure
• A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS
• LP⁺, K3⁺, FDE⁺, AND THEIR ‘CLASSICAL COLLAPSE’
• Sequent calculi for propositional nonmonotonic logics
• A family of metainferential logics
• OUP accepted manuscript

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