The following pages link to (Q2721190):
Displayed 6 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 logics with monotone operators (Q1759702) (← links)
- Labelled Calculi for Łukasiewicz Logics (Q3511458) (← links)