Pages that link to "Item:Q5277918"
From MaRDI portal
The following pages link to Power and Limits of Structural Display Rules (Q5277918):
Displayed 9 items.
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Bilattice logic properly displayed (Q2328914) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)