多重正關聯BCK代數

多重正關聯BCK代數(multiply positive im-plicative BCK-algebra)正關聯BCK代數的一種推廣.設X是BCK代數，若對任意二，yEX，存在自然數n=n(x, y) }與二，y有關)，使得

則稱X是多重正關聯BCK代數.若有一個固定的自然數n，使得對X的任意元二，y均有二*}',}=x丫+’，則稱X為n級正關聯BCK代數.這裡

X是正關聯BCK代數若且唯若X是1級的.X是n級的必是多重的，反之不真.設X是有條件(:)(參見“具條件(，)的BCI代數”)的n級正關聯BCK代數，則(X;-},0)是上半格.