Pages that link to "Item:Q5107533"
From MaRDI portal
The following pages link to A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533):
Displayed 11 items.
- 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)
- Inferential constants (Q6156204) (← links)
- On the metainferential solution to the semantic paradoxes (Q6156205) (← links)