Pages that link to "Item:Q5742701"
From MaRDI portal
The following pages link to A family of metainferential logics (Q5742701):
Displaying 8 items.
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- A hierarchy of classical and paraconsistent logics (Q2301322) (← links)
- One step is enough (Q2679573) (← links)
- Empty logics (Q2679581) (← links)
- Higher-level inferences in the strong-Kleene setting: a proof-theoretic approach (Q2679583) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- Metainferential duality (Q4994022) (← links)
- Inferential constants (Q6156204) (← links)
