The following pages link to (Q5688807):
Displaying 9 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Bunched logics displayed (Q1935559) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Algebraic proof theory for LE-logics (Q6493417) (← links)
