Classical logic and the strict tolerant hierarchy
From MaRDI portal
Publication:1986084
DOI10.1007/s10992-019-09520-0zbMath1484.03039OpenAlexW2953018217MaRDI QIDQ1986084
Publication date: 7 April 2020
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-019-09520-0
Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (20)
A family of strict/tolerant logics ⋮ Inferences and metainferences in \(\mathsf{ST}\) ⋮ Transfinite meta-inferences ⋮ The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework) ⋮ Editorial introduction: substructural logics and metainferences ⋮ One step is enough ⋮ Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates ⋮ Metainferential reasoning on strong Kleene models ⋮ Classical logic is not uniquely characterizable ⋮ Supervaluations and the strict-tolerant hierarchy ⋮ Empty logics ⋮ Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach ⋮ Derivability and metainferential validity ⋮ (I can't get no) antisatisfaction ⋮ (Meta)inferential levels of entailment beyond the Tarskian paradigm ⋮ Inferential constants ⋮ On the metainferential solution to the semantic paradoxes ⋮ Anti-exceptionalism, truth and the BA-plan ⋮ Metainferential duality ⋮ Validities, antivalidities and contingencies: a multi-standard approach
Cites Work
This page was built for publication: Classical logic and the strict tolerant hierarchy
