The following pages link to Transfinite meta-inferences (Q830392):
Displaying 11 items.
- Inferences and metainferences in \(\mathsf{ST}\) (Q830390) (← links)
- Classical logic and the strict tolerant hierarchy (Q1986084) (← links)
- Validities, antivalidities and contingencies: a multi-standard approach (Q2078977) (← links)
- Classical logic is not uniquely characterizable (Q2679579) (← links)
- Supervaluations and the strict-tolerant hierarchy (Q2679580) (← links)
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
- Meta-inferences and supervaluationism (Q2679589) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
- Anti-exceptionalism, truth and the BA-plan (Q6180131) (← links)
- Metainferential paraconsistency (Q6484735) (← links)