Recommendations
Cites work
- A hierarchy of classical and paraconsistent logics
- Classical logic and the strict tolerant hierarchy
- Conservatively extending classical logic with transparent truth
- scientific article; zbMATH DE number 4033738 (Why is no real title available?)
- scientific article; zbMATH DE number 1150559 (Why is no real title available?)
- scientific article; zbMATH DE number 3055933 (Why is no real title available?)
- Indicative conditionals, restricted quantification, and naive truth
- Lectures on inductive logic
- Logical disputes and the \textit{a priori}
- Logical predictivism
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates
- Outline of a Theory of Truth
- ST, LP and tolerant metainferences
- The logics of strict-tolerant logic
- Tolerant, classical, strict
- Transfinite meta-inferences
- Valuational semantics of rule derivability
- What is a paraconsistent logic?
Cited in
(8)- On the metainferential solution to the semantic paradoxes
- Sequent calculi for first-order ST
- A truth-maker semantics for ST: refusing to climb the strict/tolerant hierarchy
- Tableaux for metainferential logics
- Metainferentially substructural validity theories
- Meta-classical non-classical logics
- Appreciating global validity
- A validity theory for the ST-hierarchy
This page was built for publication: Anti-exceptionalism, truth and the BA-plan
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6180131)
