Pages that link to "Item:Q5107533"
From MaRDI portal
The following pages link to A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533):
Displaying 16 items.
- The logics of strict-tolerant logic (Q253131) (← links)
- Transfinite meta-inferences (Q830392) (← links)
- Classical logic and the strict tolerant hierarchy (Q1986084) (← links)
- Validities, antivalidities and contingencies: a multi-standard approach (Q2078977) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- A hierarchy of classical and paraconsistent logics (Q2301322) (← 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)
- Empty logics (Q2679581) (← links)
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
- Conservatively extending classical logic with transparent truth (Q2890700) (← links)
- Inferential constants (Q6156204) (← links)
- On the metainferential solution to the semantic paradoxes (Q6156205) (← links)
- A cartography of LFIs and truth (Q6623945) (← links)