Suprastructural logics

DOI10.1093/JIGPAL/JZAG041MaRDI QIDQ7304903zbMATH OpenFDO

Authors Federico Matias Pailos

Publication date 28 July 2026

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/JIGPAL/JZAG041

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• A calculus of antinomics
• A family of metainferential logics
• A fully classical truth theory characterized by substructural means
• A hierarchy of classical and paraconsistent logics
• Boolean connexive logics: semantics and tableau approach
• Characterizing logical consequence in many-valued logic
• Classical logic and the strict tolerant hierarchy
• Conservatively extending classical logic with transparent truth
• Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
• Derivability and metainferential validity
• Disjoint logics
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3857062 (Why is no real title available?)
• 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 2170851 (Why is no real title available?)
• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• scientific article; zbMATH DE number 6316277 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Inferential-connexive mixed logics
• Inquisitive split and structural completeness
• Logics of nonsense and Parry systems
• Metainferential duality
• Metainferential logics
• Negation as cancellation, and connexive logic
• Negation as cancellation, connexive logic, and qLPm
• On all pure three-valued logics
• Paraconsistent logic
• Reading conclusions conjunctively
• Saving truth from paradox
• The connectives
• The logic of paradox
• The original sin of proof-theoretic semantics
• Tolerant, classical, strict
• Untersuchungen über das logische Schließen. II.
• Valuational semantics of rule derivability

This page was built for publication: Suprastructural logics

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