The following pages link to Automated Reasoning (Q5307065):
Displaying 8 items.
- Optimization in temporal qualitative constraint networks (Q262133) (← links)
- A family of Gödel hybrid logics (Q631082) (← 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)
- Gödel-Dummett counter-models through matrix computation (Q2848063) (← links)
- Labelled Calculi for Łukasiewicz Logics (Q3511458) (← links)
- A deterministic terminating sequent calculus for Godel-Dummett logic (Q4255973) (← links)
- Proof Search and Counter Model of Positive Minimal Predicate Logic (Q5415611) (← links)