Metainferentially substructural validity theories

DOI10.1080/11663081.2024.2430107MaRDI QIDQ6936354zbMATH OpenFDO

Authors Federico Matias Pailos

Publication date 29 August 2025

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2024.2430107

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A family of metainferential logics
• A hierarchy of classical and paraconsistent logics
• Anti-exceptionalism, truth and the BA-plan
• Classical logic and the strict tolerant hierarchy
• Deep \textsf{ST}
• Higher-level paradoxes and substructural solutions
• scientific article; zbMATH DE number 120342 (Why is no real title available?)
• Meta-classical non-classical logics
• Metainferential reasoning on strong Kleene models
• Naive structure, contraction and paradox
• Noncontractive classical logic
• One step is enough
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Truth without contra(di)ction

This page was built for publication: Metainferentially substructural validity theories

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