The following pages link to (Q2721190):
Displaying 15 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)
- Terminating calculi for propositional Dummett logic with subformula property (Q2352485) (← links)
- An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$ (Q2798262) (← links)
- Semantic investigation of canonical Gödel hypersequent systems (Q2804332) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- On the fundamental conjecture of GLC, VI (Q3292575) (← links)
- Labelled Calculi for Łukasiewicz Logics (Q3511458) (← links)
- A deterministic terminating sequent calculus for Godel-Dummett logic (Q4255973) (← links)
- A Tableau Calculus for Hajek's Logic BL (Q4461931) (← links)
- (Q4699343) (← links)
- Hypersequent Calculi for Godel Logics -- a Survey (Q4812316) (← links)