Pages that link to "Item:Q4608559"
From MaRDI portal
The following pages link to Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559):
Displaying 5 items.
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- (Q5090950) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) (← links)
