Pages that link to "Item:Q4255973"
From MaRDI portal
The following pages link to A deterministic terminating sequent calculus for Godel-Dummett logic (Q4255973):
Displayed 7 items.
- Proof analysis in intermediate logics (Q661286) (← links)
- Graph-based decision for Gödel-Dummett logics (Q877886) (← links)
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- Terminating calculi for propositional Dummett logic with subformula property (Q2352485) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- A Multiple-Conclusion Calculus for First-Order Gödel Logic (Q3007648) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)