Pages that link to "Item:Q3192201"
From MaRDI portal
The following pages link to Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications (Q3192201):
Displaying 9 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- Hypersequents and Systems of Rules (Q4579958) (← links)
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)