Higher-level paradoxes and substructural solutions

DOI10.1007/S11225-024-10118-0MaRDI QIDQ6952415zbMATH OpenFDO

Authors Rashed Ahmad

Publication date 28 July 2025

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11225-024-10118-0

zbMATH Keywords

meta-inferential hierarchymeta-validityparadoxsubstructural logicvalidity curry

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• (Meta)inferential levels of entailment beyond the Tarskian paradigm
• A family of metainferential logics
• A fully classical truth theory characterized by substructural means
• A hierarchy of classical and paraconsistent logics
• A Recipe for Paradox
• A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy
• Classical logic and the strict tolerant hierarchy
• Disarming a paradox of validity
• Faithfulness for naive validity
• Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
• One step is enough
• Supervaluations and the strict-tolerant hierarchy
• There is no paradox of logical validity
• Validity as a primitive

Cited in

(2)

• Metainferentially substructural validity theories
• A validity theory for the ST-hierarchy

This page was built for publication: Higher-level paradoxes and substructural solutions

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