Metainferential logics

DOI10.1007/978-3-031-44381-7MaRDI QIDQ6535444zbMATH OpenFDO

Authors Federico Matias Pailos, Bruno Da Ré

Publication date 9 January 2024

Published in Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-44381-7

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cited in

(11)

• Sequent calculi for first-order ST
• Editorial introduction
• Tableaux for metainferential logics
• Meta-arguments in heterogeneous logics and how to evaluate them
• Toward a stronger constraint for non-trivial inconsistent theories
• Meta-classical non-classical logics
• Appreciating global validity
• Non-foundationalist frameworks for logical metainferentialism
• Metainferences, invalidities and contraction-free sequent calculi for S5 and Carnap's C
• On a generalization of all strong Kleene generalizations of classical logic
• Suprastructural logics

This page was built for publication: Metainferential logics

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