基本介紹
- 中文名：BCK代數
- 外文名：bck algebra
- 定義：有序代數系統
- 結構：常元和一個二元
BCK代數(BCK-algebra)一種有序代數系統.它是從邏輯蘊含規律中抽象出來的，帶有常元和一個二元運算.代數結構<X; * ,0>，若d .x,y,zEX，滿足:
則稱(X; * , 0)為BCK代數.
BCK代數(BCK-algebra)一種有序代數系統.它是從邏輯蘊含規律中抽象出來的,帶有常元和一個二元運算.代數結構<X; * ,0>,若d .x,y,zEX,滿足: 則稱(X; * ...
擬左(右)交錯BCI代數(quasi left (right) al-ternating BCI-algebra)一類BCI代數.它滿足左右交錯律.若對BCI代數<X; y, 0>中任意不同的x,y均有x*(x*必...
本書論述模糊邏輯形式化系統及相關代數結構問題,主要是作者張小紅教授近年研究工作的總結,同時也介紹了與之相關的國內外眾多學者的最新成果。全書共7章,涉及互相關聯...
雙B代數(BCK-algebra and BCI-algebra orTwo-B-algebras ) BCK代數與BCI代數的簡稱,它是序代數中一門新興的有廣泛套用的分支學科。...
具有條件BCI代數是一類重要的BCI代數,是於1977年引進了具有條件(:)的BCK代數,1980年又推廣到BCI代數上去,並奠定了它的基礎理論.具有條件(s)的關聯BCK代數與冪等...
《BCI-代數》是2007年科學出版社出版的圖書。...... 《BCI-代數》內容簡介:This book is mainly designed ...BCK and BCI-algebras.BCI-algebras are a wider ...
正規BCK代數(normal BCJ-algebra)一類特殊的BCK代數.設X是BCK代數,A是X的非空子集.記 分別稱A;,與AX為A的左的與右的穩定子,且稱A' =A;,門AX為A的穩定...
BCK代數原子(atom of BCK-algebra )BCK代數中的非零極小元.設(X; } , 0>為一個BCK代數,若a是X的一個非零極小元,則稱a為X的原子.設A是X的原子集,...
關聯BCK代數(implicative BCK-algebra)比正關聯BCK代數條件較強一類BCK代數.若在BCK代數(X; } ,0>中,d二,yEX有:x*(y*二)-二,則稱X為關聯BCK代數.若X是...
正關聯BCK代數(positive implicative BCK-aI-gebra )一類重要的BCK代數.設(X; * , 0是BCK代數,若d二,y,zEX有 (x*z)*(y*z)=(x*y)*z (該條件等價於...
多重關聯BCK代數(multiply implicative BCK-algebra)關聯BCK代數的一種推廣.設X是BCK代數,若對任意二,yEX,存在自然數n=nix,婦,使得x二(y二二”)=x,則稱X為...
多重正關聯BCK代數(multiply positive im-plicative BCK-algebra)正關聯BCK代數的一種推廣.設X是BCK代數,若對任意二,yEX,存在自然數n=n(x, y) }與二,y有...
7. 關聯BCK 代數的P濾子、I 濾子及 BFI 濾子 《模糊系統與數學》 2005.9 第一 8. 泛邏輯學中 UB 代數系統的若干性質《計算機工程與套用》 2007.7 9...
主要研究BCK-代數、BCI代數和IS-代數等邏輯代數與群、半群、環和半環等結合代數的關係問題,研究成果有兩個特點,一方面,在一般BCI-代數中,通過原有的運算“*”...
2.周期BCK代數的極大元擴張與主理想,集美大學學報(自然版),2000年第3期3. BCK代數的極大元擴張及其理想,漳州師院學報,2000年第3期...