Pages that link to "Item:Q877886"
From MaRDI portal
The following pages link to Graph-based decision for Gödel-Dummett logics (Q877886):
Displaying 7 items.
- A family of Gödel hybrid logics (Q631082) (← 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)
- Gödel-Dummett counter-models through matrix computation (Q2848063) (← links)
- The limits of decidability for first order logic on CPDA graphs (Q2904796) (← links)
- (Q3112294) (← links)
- Automated Reasoning (Q5307065) (← links)