Pages that link to "Item:Q477584"
From MaRDI portal
The following pages link to Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584):
Displayed 11 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Free logics are cut-free (Q2243550) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559) (← links)
- Free Definite Description Theory – Sequent Calculi and Cut Elimination (Q5006839) (← links)
- Fregean Description Theory in Proof-Theoretical Setting (Q5215499) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)
- A novel approach to equality (Q6142508) (← links)