Pages that link to "Item:Q2328910"
From MaRDI portal
The following pages link to Hyperresolution for Gödel logic with truth constants (Q2328910):
Displaying 5 items.
- A Generalisation of the Hyperresolution Principle to First Order Gödel Logic (Q2829667) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable (Q4557171) (← links)
- Automated Deduction in Gödel Logic (Q4691737) (← links)
- A \textit{DPLL} procedure with dichotomous branching for propositional product logic (Q6664542) (← links)