蕴涵BCK—代数的伴随半群

本证明了蕴涵ＢＣＫ－代数的伴随半群是一个上半格，进一步证明了有界蕴涵ＢＣＫ－代数的伴随半群是一个Ｂｏｏｌｅａｎ代数。     

可分解BCI——代数

本文主要研究一类特殊的ＢＣＩ－代数－子代数均是理想的ＢＣＩ－代数（并称为可分解ＢＣＩ－代数）的结构及其有限可分解ＢＣＩ－代数在同构意义下的分类个别。并昨到可分解ＢＣＩ－代数的同态象仍是可分解ＢＣＩ－代数。     

BCK—代数上的包含度

本文将张文修提出的包含度引入ＢＣＫ－代数中,证明了一类ＢＣＫ－代数的包含度的存在性。给出了ＢＣＫ－代数上包含度的基本性质,刻划了ＢＣＫ－代数拟紧性的特征。     

蕴涵BCK－代数的伴随半群

本文证明了蕴涵ＢＣＫ－代数的伴随半群是一个上半格；进一步证明了有界蕴涵ＢＣＫ－代数的伴随半群是一个Ｂｏｏｌｅａｎ代数．     

S—SI—BCK—代数范畴的满态射

本文证明了在具有条件(S)的半单关联 BCK一代数中,f 是满态射当且仅当 f 是满同态。     

（m,n）—正定关联BCK—代数

本文给出了（ｍ，ｎ）－正定关联ＢＣＫ－代数的概念，讨论了满足（ｋ＋１）ｍ＝ｋｎ（ｋ∈Ｎ）的（ｍ，ｎ）－正定关联ＢＣＫ－代数的性质，同时给出具有条件（ｓ）的（ｍ，ｎ）－正定关联ＢＣＫ－代数的些特征。     

Wd—Fuzzy蕴涵代数

本文讨论了异于ＨＦＩ代数的一类新的恒的ＦＩ代的抽象代数，简称Ｗｄ－ＦＩ代数，得到了一些有趣的结果，并指出了它与正则ＦＩ代数及ＨＦＩ代数的内在联系。     

环式BCI—代数与BCI—代数的矩阵方法

引入了环式ＢＣＩ－代烽的概念，讨论了类、范畴和与环的关系等问题，并由此引入了ＢＣＩ－代数上的矩阵概念。     

正则环的d.f—根

引进了正则环的ｄ．ｆ－根概念,并利用ｄ．ｆ－根刻画了正则环的直有限性。     

完全可约E—左模的结构

本文对带算ＢＣＫ－代数的概念加以抽象化,引进ＢＥ－代数上模的概念,进而引进模同态,模同构等概念,讨论了ＢＥ－代数上模的一些基本性质,在此基础上,引进Ｅ－子模理想,直积,Ｅ－单模等概念,给出完全可约Ｅ－左模的结构定理。     

正规BCI—代数的“拟—广结并”构造

本进一步讨论ＢＣＩ－代数的拟结合部分的特征性质，引入正规ＢＣＩ－代数的概念。同时给出一种构造正规ＢＣＩ－代数的“拟－广结合并”方法。