Pages that link to "Item:Q2849424"
From MaRDI portal
The following pages link to Structural Extensions of Display Calculi: A General Recipe (Q2849424):
Displaying 6 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
