The following pages link to (Q4412849):
Displaying 9 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 cut-free calculus for second-order Gödel logic (Q1677040) (← 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)
- A semantic proof of strong cut-admissibility for first-order Godel logic (Q4914412) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
