Pages that link to "Item:Q2829667"
From MaRDI portal
The following pages link to A Generalisation of the Hyperresolution Principle to First Order Gödel Logic (Q2829667):
Displaying 7 items.
- An analysis of Ruspini partitions in Gödel logic (Q962901) (← links)
- Hyperresolution for Gödel logic with truth constants (Q2328910) (← 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 semantic proof of strong cut-admissibility for first-order Godel logic (Q4914412) (← links)
- (Q4986736) (← links)