关于BCK—代数的若干注记

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

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

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

一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

一类代数上的逻辑淡（Ⅰ）

引入了一种代数，称为模糊公式代数，在这种代数上建立了一个准形式演绎系统，证明了相应的可行性定理与相容性定理，提出了程度化的Ｍｏｄｕｓ Ｐｏｎｅｎｓ规则和Ｈｙｐｏｔｈｅｔｉｃａｌ Ｓｙｌｌｏｇｉｓｍ规则。     

Meta-Heisenberg代数的导子代数

给出了有限维Meta-Heisenberg代数的导子代数，并证明了它是完备李代数。     

简单迹极限的基本可比性

引进了简单迹极限的相关概念，简单介绍了与C^＊代数SP性质密切相关的F性质，并且得到了非基本的单的具有SP性质的C^＊代数具有F性质．在此基础上得出简单迹极限的基本可比性．其主要结果：设A为具有F性质的带单位元1的C^＊代数，且A的迹态空间T（A）为非空集，如果对每个自然数n，An具有基本可比性，则An的简单迹极限A也具有基本可比性。     

*EI 拓扑分子格在聚类分析中的应用

本文在引入AFS代数和AFS结构的基础上,通过对AFS代数上拓扑分子格结构的讨论,给出了EM中,由一些模糊概念生成的拓扑分子格所诱导出的X上拓扑的几点性质,并利用这些性质,对一个实际例子构造了隶属函数进行聚类分析,说明了这些性质在聚类分析中的应用。     

代数体函数的增长性

先研究了代数体函数的唯一性性质,然后研究了代数体函数及其系数函数的增长关系.     

一个已知结论f-1(σ(C))=σ(f-1(C))在命题证明中的应用

定理的重要性具体体现在命题的证明中.利用定理证明某些命题,会收到明显的效果,从而真正体现其作用.     

N（2，2，0）代数的一类同余分解

对N(2,2,0)代数给出了一类同余分解,探讨了其商代数的代数结构以及自然同态下一类逆象的代数结构.