The following pages link to (Q3932964):
Displaying 8 items.
- On good EQ-algebras (Q409738) (← links)
- A glimpse of deductive systems in algebra (Q607435) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Representable good EQ-algebras (Q989677) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Representable biresiduated lattices (Q1348684) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- Splittings in subreducts of hoops (Q2082253) (← links)
