The following pages link to (Q3218122):
Displaying 6 items.
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Ideal determined varieties need not be congruence 3-permutable (Q1319060) (← links)
- On the degrees of permutability of subregular varieties (Q4700036) (← links)
- (Q4963159) (← links)
- Lattice BCK logics with Modus Ponens as unique rule (Q5419214) (← links)