多重正關聯BCK代數

多重正關聯BCK代數(multiply positive im-plicative BCK-algebra)正關聯BCK代數的一種推廣.設X是BCK代數,若對任意二,yEX,存在自然數n=n(x, y) }與二,y有關),使得
多重正關聯BCK代數
則稱X是多重正關聯BCK代數.若有一個固定的自然數n,使得對X的任意元二,y均有二*}',}=x丫+’,則稱X為n級正關聯BCK代數.這裡
多重正關聯BCK代數
X是正關聯BCK代數若且唯若X是1級的.X是n級的必是多重的,反之不真.設X是有條件(:)(參見“具條件(,)的BCI代數”)的n級正關聯BCK代數,則(X;-},0)是上半格.

相關詞條

熱門詞條

聯絡我們