The following pages link to (Q4412849):
Displayed 7 items.
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)
- First-order Gödel logics (Q2370370) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)