Pages that link to "Item:Q1986084"
From MaRDI portal
The following pages link to Classical logic and the strict tolerant hierarchy (Q1986084):
Displaying 19 items.
- A family of strict/tolerant logics (Q830368) (← links)
- Inferences and metainferences in \(\mathsf{ST}\) (Q830390) (← links)
- Transfinite meta-inferences (Q830392) (← links)
- Validities, antivalidities and contingencies: a multi-standard approach (Q2078977) (← links)
- Editorial introduction: substructural logics and metainferences (Q2679572) (← links)
- One step is enough (Q2679573) (← links)
- Metainferences from a proof-theoretic perspective, and a hierarchy of validity predicates (Q2679576) (← links)
- Metainferential reasoning on strong Kleene models (Q2679577) (← links)
- Classical logic is not uniquely characterizable (Q2679579) (← links)
- Supervaluations and the strict-tolerant hierarchy (Q2679580) (← links)
- Empty logics (Q2679581) (← links)
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
- Derivability and metainferential validity (Q2679587) (← links)
- Metainferential duality (Q4994022) (← links)
- (I can't get no) antisatisfaction (Q6088588) (← links)
- (Meta)inferential levels of entailment beyond the Tarskian paradigm (Q6088599) (← links)
- Inferential constants (Q6156204) (← links)
- On the metainferential solution to the semantic paradoxes (Q6156205) (← links)
- Anti-exceptionalism, truth and the BA-plan (Q6180131) (← links)
