Transfinite meta-inferences

DOI10.1007/S10992-020-09548-7zbMATH Open1485.03055OpenAlexW3007775312MaRDI QIDQ830392FDOQ830392

Authors: Chris Scambler 

Publication date: 7 May 2021

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-020-09548-7

Recommendations

• Classical logic and the strict tolerant hierarchy
• A fully classical truth theory characterized by substructural means
• A hierarchy of classical and paraconsistent logics
• Conservatively extending classical logic with transparent truth
• A family of metainferential logics

zbMATH Keywords

strict-tolerant logicnon-classical logictruth theoryclassification of logics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Classical logic and the strict tolerant hierarchy
• A hierarchy of classical and paraconsistent logics

Cited In (9)

• Inferences and metainferences in \(\mathsf{ST}\)
• Anti-exceptionalism, truth and the BA-plan
• Metainferential paraconsistency
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• Classical logic is not uniquely characterizable
• Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
• Meta-inferences and supervaluationism
• Supervaluations and the strict-tolerant hierarchy
• Validities, antivalidities and contingencies: a multi-standard approach

This page was built for publication: Transfinite meta-inferences

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