Pages that link to "Item:Q4221769"
From MaRDI portal
The following pages link to Gaggles, Gentzen and Galois: how to display your favourite substructural logic (Q4221769):
Displayed 9 items.
- Paraconsistent logic (Q266659) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Bunched logics displayed (Q1935559) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)