一类具有恰当断面的左恰当半群

引入了左恰当半群的恰当断面概念；利用一个恰当半群S^0．左零半群的半格I，定义了一个积集1#S^0．证明了I#S^0是一个含恰当断面的左恰当半群且恰当断面同构于S^0．     

关于Griss代数的伴随半群

本文证明了Griss代数X作成正蕴涵且具有条件(S)的BCK一代数当且仅当X是正则的Griss代数;进一步给出了BCK一代数作成Griss代数的半群刻划.     

蕴涵BCK—代数的伴随半群

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

正蕴涵BCK-代数的伴随半群

本文讨论了正蕴涵BCK－代数的剩余刻划;证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。     

关于模糊蕴涵理想

根据L．A．Zadeh的模糊集成思路,引入BCI－代数的模糊蕴涵理想和模糊特征蕴涵理想的概念,证明了μ是BCI－代数X的模糊蕴涵理想当且仅当∧A∈[0,1],μt={x∈X,μ（x）≥t}≠φ时,μt是一个蕴涵理论;讨论了模糊蕴涵理想的一系列性质,得到了μ是BCI－代数的模糊特征蕴涵理想当且仅当μt（∧A∈Imμ）是其特征蕴涵理想。     

关于诣零代数的理想

本文讨论了诣零代数的子集作成理想及正定关联理想的条件以及二者的关系。     

关于BCI——代数的BCI—G部分

本讨论了ＢＣＩ－－代数的ＢＣＩ－Ｇ部分成为理想的等价条件。     

蕴涵BCK－代数的伴随半群

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

关于具有条件(S)的BCK一代数的伴随半群

讨论了具有条件（S）的BCK一代数的剩余刻划，另外给出了具有条件（S）的BCK-代数的伴随半群的一些住质．     

有界蕴涵BCK-代数的伴随半群

引用偏序半群中剩余的概念,对有界蕴涵BCK－代数X的伴随半群M（X）作了详细讨论,证明了M（X）是一个有补格,模格,进一步证明了M（X）是一个Heyting代数。