BCK代數原子(atom of BCK-algebra )BCK代數中的非零極小元.設(X; } , 0>為一個BCK代數，若a是X的一個非零極小元，則稱a為X的原子.設A是X的原子集，若X=(A)(即X由A生成)，則稱X是由原子生成的BCK代數.其生成集A恰好包含X的所有原子非零同態像和非零理想也都是由原子生成的.
基本介紹
- 中文名：BCK代數原子
- 外文名：atom of BCK-algebra
BCK代數原子(atom of BCK-algebra )BCK代數中的非零極小元.設(X; } , 0>為一個BCK代數，若a是X的一個非零極小元，則稱a為X的原子.設A是X的原子集，若X=(A)(即X由A生成)，則稱X是由原子生成的BCK代數.其生成集A恰好包含X的所有原子非零同態像和非零理想也都是由原子生成的.
BCK代數原子(atom of BCK-algebra )BCK代數中的非零極小元.設(X; } , 0>為一個BCK代數，若a是X的一個非零極小元，則稱a為X的原子.設A是X的原子集，若X=(A)(即X由A生成)...
BCK代數 BCK代數（BCK-algebra）是數學名詞，是一種有序代數系統，帶有常元和一個二元運算。名詞解釋 BCK代數(BCK-algebra)一種有序代數系統.它是從邏輯蘊含規律中抽象出來的，帶有常元和一個二元運算.代數結構，若d .x,y,zEX，滿足:則稱(X; * , 0)為BCK代數.
擬左(右)交錯BCI代數，一類BCI代數.它滿足左右交錯律.若對BCI代數中任意不同的x,y均有x*(x*必一((x*二)*y(或x*(y必-(x必關必，則稱X為擬左(右)交錯BCI代數一般地，擬右交錯BCI代數一定是擬左交錯BCI代數;反之不真、但是，擬左交錯BCK代數與擬右交錯BCK代數等價，因此，稱之為擬交錯BCK代數.兩個...
正規BCK代數是數學名詞 正規BCK代數，一類特殊的BCK代數.設X是BCK代數，A是X的非空子集.記 分別稱A;,與AX為A的左的與右的穩定子，且稱A' =A;,門AX為A的穩定子.A的左穩定子AI.是X的理想;AX與A’是X的子代數，未必是理想.若BCK代數X的每個單元集{QJ的右穩定子R。都是X的理想，則稱X為正規BCK代數...
多重正關聯BCK代數(multiply positive im-plicative BCK-algebra)正關聯BCK代數的一種推廣 .設X是BCK代數，若對任意二，yEX，存在自然數n=n(x, y) }與二，y有關)，使得 則稱X是多重正關聯BCK代數.若有一個固定的自然數n，使得對X的任意元二，y均有二*}',}=x丫+’，則稱X為n級正關聯BCK代數.這裡...
關聯BCK代數(implicative BCK-algebra)比正關聯BCK代數條件較強一類BCK代數.若在BCK代數(X; } ,0>中，d二，yEX有:x*(y*二)-二，則稱X為關聯BCK代數.若X是有界關聯BCK代數，則(X;八，V>是布爾代數.若X是BCK代數，則X是關聯的若且唯若X是可換的，同時又是正關聯的.關聯BCK代數，比正關聯BCK代數條件...
正關聯BCK代數 正關聯BCK代數是數學名詞 正關聯BCK代數，一類重要的BCK代數.設(X; * , 0是BCK代數，若d二，y,zEX有 (x*z)*(y*z)=(x*y）*z (該條件等價於((x刃}y=x*戶，則稱X為一個正關聯BCK代數.
多重關聯BCK代數(multiply implicative BCK-algebra)是關聯BCK代數的一種推廣 多重關聯BCK代數，關聯BCK代數的一種推廣.設X是BCK代數，若對任意二，yEX，存在自然數n=nix,婦，使得x二(y二二”)=x，則稱X為多重關聯BCK代數.若存在一個固定的自然數n，使對任意x,yEX，均有x * (y*二”)一二，則稱X為n級...
主要研究BCK-代數、BCI代數和IS-代數等邏輯代數與群、半群、環和半環等結合代數的關係問題，研究成果有兩個特點，一方面，在一般BCI-代數中，通過原有的運算“*”導出新的加法運算，使一般BCI-代數關於這個加法作成可換序半群，這不但統一前人的結論，而且建立起了一般BCI-代數與可換序半群的緊密聯繫；另一方面...