Pages that link to "Item:Q5346691"
From MaRDI portal
The following pages link to LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691):
Displayed 7 items.
- Proof theory for functional modal logic (Q1708100) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559) (← 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)