Pages that link to "Item:Q519853"
From MaRDI portal
The following pages link to Non-classical elegance for sequent calculus enthusiasts (Q519853):
Displayed 12 items.
- Non-reflexivity and revenge (Q2078982) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← links)
- Towards a non-classical meta-theory for substructural approaches to paradox (Q2240546) (← links)
- Noncontractive classical logic (Q2295733) (← links)
- Metasequents and tetravaluations (Q2679584) (← links)
- MTV logics (Q2679585) (← links)
- On structural contraction and why it fails (Q2693459) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Structural proof theory for first-order weak Kleene logics (Q4995622) (← links)
- Logical Nihilism and the Logic of ‘prem’ (Q5013626) (← links)
- Systems for non-reflexive consequence (Q6067744) (← links)
- (I can't get no) antisatisfaction (Q6088588) (← links)