正定关联BCI—代数

本文是作者［１］和［２］的继续，引入了正定关联ＢＣＩ－代数的概念，并证明了：正定关联ＧＢＣＫ－代数类和Ｐ－半单ＢＣＩ－代数类是正定关联ＢＣＩ－代数类的真子类。     

BCK和BCI—代数的映射

在ＢＣＫ－代数中引进了一个右映射和ＢＣＩ－代数中引进了一个弱左映射，并探讨它们的性质。从而推广了文［１］中大部分结果。主要结果是：如果Ｘ是一个ＢＣＫ－代数，Ｙ是一个正定关联ＢＣＫ－代数，则所有Ｘ到Ｙ的左映射的集合也构成一个正定关联ＢＣＫ－代数。     

BCI—代数的Fuzzy强蕴涵理想

本文引入了ＢＣＩ－代数的强蕴函理想的概念，研究了它的性质，同时讨论了ＢＣＩ－代数中的Ｆｕｚｚｙ关系。     

关于BCI—代数伴随半群中的可逆元

给出了ＢＣＩ－代数的伴随半群中可逆元的刻划，说明ＢＣＩ－代数的ｐ－半单闭理想与其伴随半群的子群之间有一一对应关系，并证明最大的ｐ－半单闭理想是根理想。     

广义a-结合BCI-代数

引入了广义ａ－结合ＢＣＩ－代数的概念，研究了ＢＣＩ－代数的ｐ－半单部分与广义ａ－结合部分的关系．并将ｐ－半单ＢＣＩ－代数的若干重要性质推广到广义ａ－结合ＢＣＩ－代数上．最后我们证明了每个广义ａ－结合ＢＣＩ－代数可确定一个交换偏序幺半群．本文结果表明文［１］的正则ＢＣＩ－代数与ｐ－半单ＢＣＩ－代数是一致的．     

广义α—结合BCI—代数

引入了广义α－结合ＢＣＩ－代数的概念，研究了ＢＣＩ－代数的ｐ－半单部分与广义α－结合部分的关系。并将ｐ－半单ＢＣＩ－代数的若干重要性质推广到广义α－结合ＢＣＩ－代数上。最后我们证明了每个广义α－结合ＢＣＩ－代数可确定一个交换偏序幺半群。本文结果表明文［１］的正则ＢＣＩ－代数与ｐ－半单ＢＣＩ－代数是一致的。     

关于单BCI－代数的一些结果

本文讨论了单ＢＣＩ－代数．证明了一个ＢＣＩ－代数是单的当且仅当它的子代数都是单的；给出了单ｐ－半单ＢＣＩ－代数的一种表示式；证明了一个ｐ－半单ＢＣＩ－代数是单的当且仅当它的阶是素数；这样得到了一批（无限多个）单ＢＣＩ－代数；证明了商ＢＣＫ－代数Ｘ／Ａ是单的当且仅当Ａ是Ｘ的极大理想．     

BCI—代数的KI并代数

本文引入ＢＣＩ－代数的ＫＩ并代数，它是ＢＣＫ－代数的无交并的推广。     

BCK—代数理想（Ⅳ）

本文是作者［１］－［６］的继续，我们得到下述结果：定理４．设Ｉ是ＢＣＫ－代数Ｘ的一个理想，ａ是Ｘ的一个元素，则包含Ｉ和ａ的最小理想是对某个非负整数｝．定理１４．设Ｘ是一个Ｌｕｋａｓｉｅｗｉｃｚ代数，Ｉ是Ｘ的一个质理想．如果Ａ是Ｘ的一个真理想且，则Ａ也是质的．定理１５．Ｌｕｋａｓｉｅｗｉｃｚ代数Ｘ的零理想｛０｝是质的当且仅当＜Ｘ；≤＞是一个全序集．     

几类特殊的BCI代数

本文给出具有散子代数的ＢＣＩ代数的条件，讨论了Ｌ（Ｘ）为Ｘ的理想的ＢＣＩ代数，完全刻划了每个子代数都是理想的ＢＣＩ代数。     

半单优BCI－代数的长度定理

继续对［１］的研究，得到了半单优ＢＣＩ－代数的替换定理和长度定理．     

半单优BCI—代数的长度定理

继续对「１」的研究，得到了半单优ＢＣＩ－代数的替换定理和长度定理。     

自反BCK－代数

本文在ＢＣＫ－代数中引进稳定子的概念，并定义一类特殊的ＢＣＫ－代数─自反ＢＣＫ－代数，证明自反ＢＣＫ－代数的概念与半单ＢＣＫ－代数的概念是一致的，同时对于有限ＢＣＫ－代数还得到它是自反的一个充要条件。     

Some Properties of a Class Self—homomorphism of BCI—algebras

ＢｙａＢＣＩ－ａｌｇｅｂｒａｗｅｍｅａｎａｎａｌｇｅｂｒａ（Ｘ；，０）ｏｆｔｙｐｅ（２，０）ｓａｔｉｓｆｙｉｎｇｔｈｅａｘｉｏｍｓ：（１）（（ｘｙ）（ｘｚ））（ｚｙ）＝０；（２）（ｘ（ｘｙ））ｙ＝０；（３）ｘｘ＝０；（４）ｘｙ＝ｙｘ＝０ｘ＝ｙｆｏｒａｎｙｘ，ｙａｎｄｚｉｎＸ．ＦｏｒａｎｙＢＣＩ－ａｌｇｅｂｒａＸ，ｔｈｅｒｅｌａｔｉｏｎ≤ｄｅｆｉｎｅｄｂｙｘ≤ｙｉｆａｎｄｏｎｌｙｉｆｘｙ＝０ｉｓａｐａｒｔｉａｌｏｒｄｅｒｏｎＸ［１］．ＩｎａｎｙＢＣＩ－ａｌｇｅｂｒａＸ，…     

The Semigroup Characterizations of Positive Implicative BCK—algebras

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＢｙａＢＣＩ－ａｌｇｅｂｒａｗｅｍｅａｎａｎａｌｇｅｂｒａ（Ｘ，，０）ｏｆｔｙｐｅ（２，０）ｗｉｔｈｔｈｅｆｏｌｌｏｗｉｎｇｃｏｎｄｉ－ｔｉｏｎｓ：（１）（（ｘｙ）（ｘｚ））（ｚｙ）＝０；（２）（ｘ（ｘｙ））ｙ＝０；（３）ｘｘ＝０；（４）ｘｙ＝ｙｘ＝０ｉｍｐｌｉｅｓｘ＝ｙ．ＩｆａＢＣＩ－ａｌｇｅｂｒａ（Ｘ，，０）ｓａｔｉｓｆｉｅｓ（５）０ｘ＝０．ｔｈｅｎｉｔｉｓｃａｌｌｅｄａＢＣＫ－ａｌｇｅｂｒａ．ＩｎａＢＣＩ－ａｌｇｅｂｒａ，ｔｈｅｆ…     

关于度量投影的连续性

本文引入的Ｂａｎａｃｈ空间的（Ｃ－Ｉ）、（Ｃ－Ⅱ），（Ｃ－Ⅲ）等几何性质，证明了如下结果。设Ｍ是Ｂａｎａｃｈ空间的逼近凸子集，如果Ｂａｎａｃｈ空间有性质（Ｃ－Ｉ），（Ｃ－Ⅱ）（Ｃ－Ⅲ），则度量投影ＰＭ连续（范数－范数上半连续，范数－弱上半连续）。这些结果推广了文（４，７，８）相应的定理。最近，Ｄ．Ｋｕｔｚａｒｏｖａ，Ｂｏｒ－Ｌｕｈ Ｌｉｎ等引入了一些新的凸性空间，本文还研究了这些凸性空间中度量投影     

FI代数,BCK代数与关联半群

文献［１］讨论了Ｆｕｚｚｙ蕴涵代数（简称为ＦＩ代数）与ＭＶ代数、格蕴涵代数之间的关系,本文进一步讨论了ＦＩ代数与有界关联ＢＣＫ代数、关联半群的联系,并应用ＦＩ代数方法简化了ＢＣＫ代数中某些定理的证明。     

关于正定关联BCC—代数

首先指出在ＢＣＣ－代数中，下述两个条件并不等价：（１）（ｘ＊ｚ）＊（ｙ＊ｚ）＝（ｚ＊ｙ＿＊ｚ；（２）（ｘ＊ｙ＊ｙ＝ｘ＊ｙ。随后给出由Ｗ．Ａ．Ｄｕｄｅｋ１９９２年定义的正关联ＢＣＣ－代数的一个简单的公理系统。     

不可分素C^k—代数与本原C^＊—代数的讨论

本文证明：若Ａ是不可分的素Ｃ＾＊－代数，且包含非０的Ｌｉｍｉｎａｌ遗传Ｃ＾＊－子代数，则Ａ是本原Ｃ＾＊－代数，本文还给出了Ｉ型Ｃ＾＊－代数为本原Ｃ＾＊－代数的充要条件。     

BCI-代数的换位元

本文在ＢＣＩ－代数中引入了换位元，证明了换位元的若干重要性质，讨论了换位元与极大元、极小元以及半群之间的关系．