论文部分内容阅读
在有界可换BCK-代数(X;*,0)中定义x=Nx,x+y=y*Nx,x×y=Ny*x),1Mv=0,则(X,+,×,0Mv,1mv)是一个MV-代数;而在MV-代数(X,+,×,0Mv,1mv)中定义X*y=x+y,0=1Mv,则〈X;*,0〉则X;*,0〉是一个有界可换BCK-代数。