The following pages link to (Q3874204):
Displaying 11 items.
- On good EQ-algebras (Q409738) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- \(L\)-algebras, self-similarity, and \(l\)-groups (Q952544) (← links)
- Subdirect products of totally ordered BCK-algebras (Q1095168) (← 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)
- Prelinear algebras in relatively regular quasivarieties (Q2376911) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Representable pseudo-BCK-algebras and integral residuated lattices (Q2466509) (← links)