多重關聯BCK代數(multiply implicative BCK-algebra)是關聯BCK代數的一種推廣
多重關聯BCK代數(multiply implicative BCK-algebra)關聯BCK代數的一種推廣.設X是BCK代數，若對任意二，yEX，存在自然數n=nix,婦，使得x二(y二二”)=x，則稱X為多重關聯BCK代數.若存在一個固定的自然數n，使對任意x,yEX，均有x...
多重正關聯BCK代數(multiply positive im-plicative BCK-algebra)正關聯BCK代數的一種推廣.設X是BCK代數，若對任意二，yEX，存在自然數n=n(x, y) }與二，y有關)，使得 則稱X是多重正關聯BCK代數.若有一個固定的自然數n，使得...
若在BCK代數(X; } ,0>中，d二，yEX有:x*(y*二)-二，則稱X為關聯BCK代數.若X是有界關聯BCK代數，則(X;八，V>是布爾代數.若X是BCK代數，則X是關聯的若且唯若X是可換的，同時又是正關聯的.
正關聯BCK代數 正關聯BCK代數(positive implicative BCK-aI-gebra )一類重要的BCK代數.設(X; * , 0是BCK代數，若d二，y,zEX有 (x*z)*(y*z)=(x*y）*z (該條件等價於((x刃}y=x*戶，則稱X為一個正關聯BCK代數.
則稱1為X的多重關聯理想:對x，y，上述的I時，I是關聯理想.而當n(二，戶簇k(自然數)時，I是k級關聯理想.在BCK代數X中，每一個多重關聯理想都是X的理想，反之不真.在多重關聯BCK代數中，理想與多重關聯理想的概念一致.
J半單BCI代數（J-semisimple BCI-algebra)類似於環論中J半單環.設X是BCI代數，稱為X的雅各布森根.若J(X)一{0}，則稱X為J半單BCI代數.有界正關聯的對合(即NNx=x}b xE X)BCK代數以及多重關聯BCK代數都是J半單BCK代數.每...
