Transfinite meta-inferences

DOI10.1007/s10992-020-09548-7zbMath1485.03055OpenAlexW3007775312MaRDI QIDQ830392

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

zbMATH Keywords

truth theorystrict-tolerant logicnon-classical logicclassification 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)

Related Items (5)

Classical logic is not uniquely characterizable ⋮ Supervaluations and the strict-tolerant hierarchy ⋮ Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach ⋮ Anti-exceptionalism, truth and the BA-plan ⋮ Validities, antivalidities and contingencies: a multi-standard approach

Cites Work

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

This page was built for publication: Transfinite meta-inferences