正關聯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代數.
正關聯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代數.
若在BCK代數(X; } ,0>中，d二，yEX有:x*(y*二)-二，則稱X為關聯BCK代數.若X是有界關聯BCK代數，則(X;八，V>是布爾代數.若X是BCK代數，則X是關聯的若且唯若X是可換的，同時又是正關聯的.
多重正關聯BCK代數(multiply positive im-plicative BCK-algebra)正關聯BCK代數的一種推廣.設X是BCK代數，若對任意二，yEX，存在自然數n=n(x, y) }與二，y有關)，使得 則稱X是多重正關聯BCK代數.若有一個固定的自然數n，使得...
正關聯BCI代數(positive implicative BCI-aI-gebra)正關聯BCK代數的一種推廣。設X是BCI代數，若d x,yEX，有 (x‘(x‘y>)*(y‘x)=x‘(x*(y‘(y‘x)))，則稱X為正關聯BCI代數.正關聯BCK代數與p半單BCI代數都是正關聯BCI...
正規BCK代數(normal BCJ-algebra)一類特殊的BCK代數.設X是BCK代數，A是X的非空子集.記 分別稱A;,與AX為A的左的與右的穩定子，且稱A' =A;,門AX為A的穩定子.A的左穩定子AI.是X的理想;AX與A’是X的子代數，未必是理想.若...
多重關聯BCK代數(multiply implicative BCK-algebra)關聯BCK代數的一種推廣.設X是BCK代數，若對任意二，yEX，存在自然數n=nix,婦，使得x二(y二二”)=x，則稱X為多重關聯BCK代數.若存在一個固定的自然數n，使對任意x,yEX，均有x...
BCK代數 BCK代數(BCK-algebra)一種有序代數系統.它是從邏輯蘊含規律中抽象出來的，帶有常元和一個二元運算.代數結構，若d .x,y,zEX，滿足:則稱(X; * , 0)為BCK代數.
關聯BCI代數(implieative BCI-algebra)關聯BCK代數的一種推廣.設X是BCI代數，若d二，yEX，有 (x*(x*y）)*(y*x)=y*(y*x)，則稱X為關聯BCI代數.關聯BCK代數，p半單BCI代數都是關聯BCI代數;反之不真.BCI代數X是關聯的當且...
BCK代數原子(atom of BCK-algebra )BCK代數中的非零極小元.設(X; } , 0>為一個BCK代數，若a是X的一個非零極小元，則稱a為X的原子.設A是X的原子集，若X=(A)(即X由A生成)，則稱X是由原子生成的BCK代數.其生成集A...
正關聯理想 正關聯理想(positive implicative ideal)亦稱正關聯幻.刻畫正關聯BCI代數的一種理想.設I是BCI代數X的子集.若滿足:0
純BCI代數(pure BCI-algebra ) BCK代數的“單純”擴張(僅添加p半單部分).設X是BCI代數，P(X>={二EX{x,0};Q(二)一{xEX}0*(0*二)=x}，若X=P(X) UQ(二)，則稱X為純BCI代數.純BCI代數X是可換的(正關聯的、關聯的...
若d x,yEX,存在著非負整數m,n,s,t,使Q>a,} } x ,婦_}s,(y,二),則稱X為(m,n;s,t)型擬可換BCI代數.存在任意型的擬可換BCI代數,且每個有限BCK代數都是擬可換的. [1]參考資料 1. 數學辭海 ...
代數進行研究. BCK代數的研究包括:可換BCK代數、有界BCK代數、關聯與正關聯BCK代數、模糊 BCK代數等理論.而BCI代數的研究有:結合BCI代數、優BCI代數、詣零BCI代數、理想BCI代數、自由BCIZ代數等理論.並且，還有根性、半單性等雙B代數...
則稱1為X的多重關聯理想:對x，y，上述的I時，I是關聯理想.而當n(二，戶簇k(自然數)時，I是k級關聯理想.在BCK代數X中，每一個多重關聯理想都是X的理想，反之不真.在多重關聯BCK代數中，理想與多重關聯理想的概念一致.
本書論述模糊邏輯形式化系統及相關代數結構問題,主要是作者張小紅教授近年研究工作的總結,同時也介紹了與之相關的國內外眾多學者的最新成果。全書共7章,涉及互相關聯的4個部分的內容:基礎知識(包括t-模、偽t-模與剩餘格的基本概念與...
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代數.每...