On the metainferential solution to the semantic paradoxes
From MaRDI portal
Publication:6156205
DOI10.1007/s10992-022-09688-yOpenAlexW4307157173MaRDI QIDQ6156205
Publication date: 13 June 2023
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-022-09688-y
Cites Work
- Unnamed Item
- Classical logic and the strict tolerant hierarchy
- Faithfulness for naive validity
- Sequent-calculi for metainferential logics
- A hierarchy of classical and paraconsistent logics
- One step is enough
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Metainferential reasoning on strong Kleene models
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach
- CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH
- TRUTH WITHOUT CONTRA(DI)CTION
- ST, LP and Tolerant Metainferences
- Cut Elimination in the Presence of Axioms
- Outline of a Theory of Truth
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS
- (Meta)inferential levels of entailment beyond the Tarskian paradigm
- Anti-exceptionalism, truth and the BA-plan
This page was built for publication: On the metainferential solution to the semantic paradoxes
