Sequent-calculi for metainferential logics
From MaRDI portal
Publication:2118968
DOI10.1007/S11225-021-09967-WOpenAlexW3201426572MaRDI QIDQ2118968FDOQ2118968
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
Cites Work
- Conservatively extending classical logic with transparent truth
- What is a Paraconsistent Logic?
- ST, LP and Tolerant Metainferences
- Tolerant, classical, strict
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS
- Truth and falsehood. An inquiry into generalized logical values
- Title not available (Why is that?)
- Proof theory. 2nd ed
- On all strong Kleene generalizations of classical logic
- MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY
- LP+, K3+, FDE+, AND THEIR ‘CLASSICAL COLLAPSE’
- Refutation systems in modal logic
- Title not available (Why is that?)
- Non-classical elegance for sequent calculus enthusiasts
- Sequent calculi for propositional nonmonotonic logics
- Valuational semantics of rule derivability
- Title not available (Why is that?)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- A hierarchy of classical and paraconsistent logics
- A family of metainferential logics
- OUP accepted manuscript
- Towards a non-classical meta-theory for substructural approaches to paradox
- OUP accepted manuscript
- A paraconsistent route to semantic closure
Cited In (7)
- 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
- Metainferential reasoning on strong Kleene models
- A hybrid calculus for the validities and invalidities of classical propositional logic
- Systems for non-reflexive consequence
Uses Software
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)
