×

The equational systems of commutative BCK-algebras. (Chinese. English summary) Zbl 0566.03037

We give three equational systems of commutative BCK-algebras. The first system CBK I consists of the following three identities: \(((x*y)*(x*z))*(z*y)=0,\quad x*0=x,\quad x*(x*y)=y*(y*x).\) The second system CBK II consists of the following three identities: \(0*x=0\), \(x*0=x\), \((x*y)*(x*z)=(z*y)*(z*x).\) The third system CBK III consists of the following three identities: \(x*x=0\), \(x*0=x\), \((x*y)*(x*z)=(z*y)*(z*x).\)

MSC:

03G25 Other algebras related to logic