關聯朵再采BCK代數(implicative BCK-algebra)比正關聯BCK代紋頁數條件較店凳翻故強一類BCK代試烏院數.若在BCK代數(X; } ,0>中，d二，yEX有:x*(y*二)-二，則喇驗嘗稱X為關聯BCK代數.若X是諒刪協乃有界關聯BCK代數，則(X;八，V>是布爾代數.若X是BCK代數，則X是關聯的當謎海去且僅當X是可換的，同時又是正關聯的.
關聯BCK代數(implicative BCK-algebra)比正關聯BCK代數條件較強一類BCK代數.若在BCK代數(X; } ,0>中,d二,yEX有:x*(y*二)-二,則稱X為關聯BCK代數.若X是...
多重正關聯BCK代數(multiply positive im-plicative BCK-algebra)正關聯BCK代數的一種推廣.設X是BCK代數,若對任意二,yEX,存在自然數n=n(x, y) }與二,y有...
多重關聯BCK代數(multiply implicative BCK-algebra)關聯BCK代數的一種推廣.設X是BCK代數,若對任意二,yEX,存在自然數n=nix,婦,使得x二(y二二”)=x,則稱X為...
正關聯BCK代數(positive implicative BCK-aI-gebra )一類重要的BCK代數.設(X; * , 0是BCK代數,若d二,y,zEX有 (x*z)*(y*z)=(x*y)*z (該條件等價於...
關聯BCI代數(implieative BCI-algebra)關聯BCK代數的一種推廣.設X是BCI代數,若d二,yEX,有 (x*(x*y))*(y*x)=y*(y*x), 則稱X為關聯BCI代數.關聯BCK...
具有條件BCI代數是一類重要的BCI代數,是於1977年引進了具有條件(:)的BCK代數,1980年又推廣到BCI代數上去,並奠定了它的基礎理論.具有條件(s)的關聯BCK代數與冪等...
雙B代數(BCK-algebra and BCI-algebra orTwo-B-algebras ) BCK代數與BCI代數的簡稱,它是序代數中一門新興的有廣泛套用的分支學科。...
多重關聯理想(multiply implicative ideal)亦稱多重關聯幻.是關聯理想的推廣.設1是BCI代數X的子集,若1滿足下列條件,則稱1為X的多重關聯理想: 對x,y,上述的I...
正關聯理想(positive implicative ideal)亦稱正關聯幻.刻畫正關聯BCI代數的一種理想.設I是BCI代數X的子集.若滿足:0<I,則稱I是X的可換理想.BCK代數X稱為正...
擬可換BCI代數(quasi-commutative BCI-aI-gebra)交換和正關聯BCI代數的一種共同推廣.設(X;*,0>為BCI代數,記若d x,yEX,存在著非負整數m,n,s,t,使Q>a,...
純BCI代數(pure BCI-algebra ) BCK代數的“單純”擴張(僅添加p半單部分).設X是BCI代數,P(X>={二EX{x,0};Q(二)一{xEX}0*(0*二)=x},若X=P(X) ...
本書論述模糊邏輯形式化系統及相關代數結構問題,主要是作者張小紅教授近年研究工作的總結,同時也介紹了與之相關的國內外眾多學者的最新成果。全書共7章,涉及互相關聯...
BCK代數(BCK-algebra)一種有序代數系統.它是從邏輯蘊含規律中抽象出來的,帶有常元和一個二元運算.代數結構<X; * ,0>,若d .x,y,zEX,滿足: 則稱(X; * ...
BCK代數原子(atom of BCK-algebra )BCK代數中的非零極小元.設(X; } , 0>為一個BCK代數,若a是X的一個非零極小元,則稱a為X的原子.設A是X的原子集,...
J半單BCI代數(J-semisimple BCI-algebra)類似於環論中J半單環.設X是BCI代數,稱為X的雅各布森根.若J(X)一{0},則稱X為J半單BCI代數.有界正關聯的對合(...
(2006).30:165-175;(一) “關聯BCK代數的P濾子、I濾子及BFI濾子”, 模糊系統與數學. 2005.3(二); “正則FI代數及其伴隨代數” 廣西師院學報. 自然科學...
7. 關聯BCK 代數的P濾子、I 濾子及 BFI 濾子 《模糊系統與數學》 2005.9 第一 8. 泛邏輯學中 UB 代數系統的若干性質《計算機工程與套用》 2007.7 9...
《基於粗糙集的企業持續創新績效評價研究》《技術進步與企業技術創新》《基於持續創新動力、能力、績效的創新型企業評價研究》《Heyting代數與關聯BCK代數的關係》《...