The following pages link to (Q4154868):
Displaying 8 items.
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Finitely axiomatizable varieties of BCK-algebras (Q1059653) (← links)
- On the quasivariety of BCK-algebras and its subvarieties (Q1344842) (← links)
- On Traczyk's BCK-sequences (Q2084338) (← links)
- Spectral properties of cBCK-algebras (Q2153923) (← links)
- On \(Q\)-upper algebras (Q2492800) (← links)
- Permutable groupoids (Q5187470) (← links)
- Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra (Q6595558) (← links)
