关于具有条件（S）的BCK—代数的伴随半群

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

关于实Lie代数的C—子代数

讨论了Ｃ－子代数的一些性质，给出了Ｃ－子代数与Ｋｏｓｚｕｌ算子之间的对应关系，并将实半单Ｌｉｅ代数的讨论化为对有效Ｃ－子代数的讨论。     

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

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

C－子代数的性质及其应用

本文得到ｃ－子代数的若干性质，利用这些性质可将实半单Ｌｉｅ代数的讨论化为对有效ｃ－子代数的讨论；利用这些性质也可以证明，是第二类型实单Ｌｉｅ代数，当且仅当是某复单Ｌｉｅ代数的实化；由此猜想，是第二类实单完备Ｌｉｅ代数，当且仅当是某复单完备Ｌｉｅ代数的实化．     

c—子代数的性质及其应用

本文得到了ｃ－子代数的若干性质，利用这些性质可将实半单Ｌｉｋ代数的讨论化为对有效ｃ－子代数的讨论；利用这些性质也可以有证明。０是第二类型实单Ｌｉｅ代数，当且仅当０是某复单Ｌｉｅ代数的实化；由此猜想；０是第址类实单完备Ｌｉｅ参数，当且仅法０是某复单完备Ｌｉ代数的实化。     

BCK（BCI）—代数中的L—fuzzy 理想

研究BCK（BCI）－代数中的L-fuzzy理想,其中L为至少含有两个元素的格,研究了BCK（BCI）－代数中的L－fuzzy理想及其相应的截理想之间的关系,对BCI－代数,引入了L－fuzzy闭理想,L-fuzzy正则理想,在任一p-半单PCI－代数中,L-fuzzy闭理想一定是L－fuzzy正则理想,对BCK－代数,引入了L－fuzzy关联理想的概念,得到了它的一些等价特性,并用L－fuzzy关联理想刻划了关联BCI－代数。     

带算BCK—代数分解理论初步

在BCK—代数中引入算子的概念,并且就带算BCK—代数证明了几个同构定理。本文利用这些结果建立了带算BCK—代数的带算理想列的基本理论,初步探讨了带算BCK—代数的直积分解理论,它为我们讨论一类与BCK—代数及其同态紧密相关的代数结构提供了方便。     

n级交换BCK—代数

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

(m,n)─正定关联BCK-代数

本文绘出了（m,n）─正定关联BCK─代数的概念，讨论了满足(k+1）m=kn（k∈N)的(m,n)─正定关联BCK─代数的性质，同时给出具有条件(s)的(m,n)─正定关联BCK─代数的一些特征．     

Groupoid C-代数中的三角子代数的表示

研究了ｇｒｏｕｐｏｉｄＣ＊－代数中三角子代数的表示，这些表示是ｇｒｏｕｐｏｉｄＣ＊－代数的＊表示的约束，且把ｇｒｏｕｐｏｉｄＣ＊－代数中的Ｃａｒｔａｎ子代数映成Ｂ（Ｈ）中的一个ｍａｓａ中的弱稠子集．     

广义Kac—Moody代数与无限维完备Lie代数

本文引进广义Ｋａｃ－Ｍｏｏｄｙ代数的广义抛物子代数的概念，得到了广义抛物子代数完备的充要条件，这类完备Ｌｉｅ代数是无限维的。     

GroupoidC^＊—代数中的三角子代数的表示

研究了ｇｒｏｕｐｏｉｄＣ＾＊－代数中三角子代数的表示，这些表示是ｇｒｏｕｐｏｉｄＣ＾＊－代数的＊表示的约束，且把ｇｒｏｕｐｏｉｄＣ＾＊－代数中的Ｃａｒｔａｎ子代数映成Ｂ（Ｈ）中的一个ｍａｓａ中的弱稠子集。     

具有(s)条件的正关联BCK—代数的同构定理

K.Iséki在[6]中定义了具有(S)条件的BCK—代数,並证明了当BCK—代数具有(S)条件时就组成有序可换半群。我们在文[7]中讨论了BCK—代数同态、同构的基本定理。在本文中我们进而讨论具有(S)条件的正关联BCK—代数的同构问题,我们得到的结果是,当M是具有(S)条件的正关联BCK—代数时,它将与自同态反序可换子半群同构。     

广义Kac－Moody代数与无限维完备Lie代数

本文引进了广义Ｋａｃ－Ｍｏｏｄｙ代数的广义抛物子代数的概念，得到了广义抛物子代数完备的充要条件。这类完备Ｌｉｅ代数是无限维的。     

原子生成的BCK-代数

本文讨论了由原子(即非零极小元)生成的BCK—代数。证明了原子生成的BCK—代数的非零同态象及非零理想都是原子生成的。其次,引入了原子高的概念,进一步得到了一些关于具有基的BCK—代数的性质。特别地,我们有:具有基的有界BCK—代数是有限的,并且理想的阶整除它的阶。最后,我们还给出了具有基的BCK—代数自同构的一些性质。     

关联BCK-代数的半单性(英文)

本文考虑关联BCK－代数的半单性，得到这类代数为半单的若干等价条件。     

乘积R0-代数上的若干映射性质

在乘积Ｒ０－代数上引入了若干有用映射，并利用Ｒ０－同态及Ｒ０－同构方法，进上步研究乘积Ｒ０－代数及其子代数之间的相互关系，得到Ｗ＾ｎ的一些基本Ｒ０－子代数，这些结果充实了Ｒ０－代数的研究且在ｎ值非线性序逻辑系统的语义理论的研究中有一定的使用价值。     

关于对合BCK代数

证明了对合BCK代数与正则FI-代数等价。在对合BCK代数中引入分配性,讨论了分配对合BCK代数的若干性质,证明了分配对合BCK代数与Boole代数是相互等价的代数系统。     

对合BCK—代数

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

格蕴涵代数的区间值犹豫模糊子代数

把区间值犹豫模糊集和格蕴涵代数相结合，给出格蕴涵代数的区间值犹豫模糊子代数的概念，讨论了区间值犹豫模糊子代数与其犹豫模糊子代数的关系。证明了2个区间值犹豫模糊子代数的交是区间值犹豫模糊子代数，并结合具体例子，说明2个区间值犹豫模糊子代数并不满足类似结论。