格蕴含代数与有界交换BCK-代数

证明了格蕴含代数与有界交换BCK-代数是两类等价的抽象系统,因而是范畴等价的。     

n级交换BCK—代数

本文引进n级交换BCK—代数的概念,它是交换BCK—代数概念的推广,讨论了它与几种特殊类型的BCK—代数之间的关系,证明当n≥2时,n级交换BCK—代数类不构成一个簇。     

正蕴含BCK—代数的半群特征

正蕴含及具有(S)条件的BCK一代数是BCK一代数类的两个重要子类,本文利用伴随半群给出了这两类代数的完整刻划。     

有界BCK—代数的一个简化公理系统

给出了有界BCK-代数一个新的公理系统,并证明了其中的各条公理是相互独立的.     

可换BCK—代数的另一充要条件

本文给出了可换BCK—代数的另一个充分必要条件,与文[1]给出的充要条件相比,将7条公理减少为5条。从而简化了可换BCK—代数的定义。     

关于星形BCK—代数的讨论

给出了星形ＢＣＫ－代数的若干性质．用伴随半群理论给出星形ＢＣＫ－代数的刻划，引入了伴随半群中元素长度的概念，证明了星形ＢＣＫ－代数伴随半群中元素表示的唯一性．     

关于BCK—代数的若干注记

给出ＢＣＫ－链的一般构造方法及ＢＣＫ－树的概念，并讨论其简单性质     

对合BCK—代数

本文给出对合BCK—代数的概念,系统地讨论了它的有关性质,并得到了下面的结果: 1、非交换对合BCK—代数的阶数至少为4; 2、在同构意义下,四阶非交换对合BCK—代数有且只有一个。     

有界可换BCK—代数的半群特征

讨论了ＢＣＫ－代数伴随半群中的剩余元素，给出具有条件（Ｓ）的ＢＣＫ－代数及可换ＢＣＫ－代数伴随半群的若干特征，说明具有条件（Ｓ）的可换ＢＣＫ－代数的伴随半群是上半格；有界可换ＢＣＫ－代数的伴随半群是格．     

BCK—代数的两种扩张

给出了BCK-代数的两种扩张的方法。     

BCK—代数中的星形子代数

对BCK－代数X中的星形子代数进行了讨论，给出了星形子代数构成某些特殊结构的刻划，并讨论了乘积BCK－代数数星部分的若干性质。     

多重正关联BCK—代数

引进了多重正关联ＢＣＫ－代数，并讨论了它的一些性质，从而使上正关联ＢＣＫ－代数与ｎ级正关联ＢＣＫ－代数得到真正的推广。     

BCK—代数的Fuzzy蕴涵理想(Ⅱ)

本文将在文[6]的基础上研究BCK—代数的Fuzzy蕴涵理想的一些结构特征.