The following pages link to (Q4809045):
Displayed 4 items.
- 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)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)