The following pages link to Clint J. van Alten (Q1826929):
Displaying 8 items.
- Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras (Q391322) (← links)
- Completion and finite embeddability property for residuated ordered algebras. (Q993327) (← links)
- Implicational subreducts of \(n\)-potent commutative residuated lattices (Q995378) (← links)
- Positive Sugihara monoids (Q995381) (← links)
- Representable biresiduated lattices (Q1348684) (← links)
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras (Q1697346) (← links)
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras. (Q1771949) (← links)
- On the lattice of varieties of residuation algebras (Q5932484) (← links)
