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):
Displaying 18 items.
- Paraconsistent logic (Q266659) (← links)
- Synchronized linear-time temporal logic (Q647400) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Dual gaggle semantics for entailment (Q1038602) (← links)
- Displaying and deciding substructural logics. I: Logics with contraposition (Q1267081) (← links)
- Predicate logics on display (Q1283134) (← links)
- Bunched logics displayed (Q1935559) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- Displaying updates in logic (Q2957971) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
- Sequent Calculi for Normal Modal Propositional Logics (Q4291036) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- Towards universal logic: gaggle logics (Q5869717) (← links)
- An expressivist strategy to understand logical forms (Q6535321) (← links)
- Universal proof theory: semi-analytic rules and Craig interpolation (Q6614044) (← links)