Pages that link to "Item:Q1432885"
From MaRDI portal
The following pages link to Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators (Q1432885):
Displaying 8 items.
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (Q861580) (← links)
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Polynomial space hardness without disjunction property (Q1935776) (← links)
- Modules with fusion and implication based over distributive lattices: representation and duality (Q2122479) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)