The following pages link to (Q4809045):
Displaying 5 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)
- Proof Search and Counter Model of Positive Minimal Predicate Logic (Q5415611) (← links)