关于BCK—代数的若干注记

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

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

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

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

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

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

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

简单迹极限的基本可比性

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

交换C~*-代数张量积的纯态和谱

讨论了非交换C*-代数的谱与纯态值域,得到了C*-代数张量积中两个元的本质纯态值域的表示.     

(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

关于C*-代数中的可逆元和酉元的凸组合

讨论了Hilbert空间上的C^*-代数A中的可逆群和酉群的一些关系，证明了C^*-代数A中的元素A是可逆的充要条件是存在两个非负实数λ1和λ2，且λ1≠λ2以及酉群中的两个元素U1和U2使得A=λ1U1 λ2U2，给出了λ代数A中范数不大于1的可逆元的全体闭包和酉群的一些关系。     

BCK-代数的L-fuzzy理想的新刻画

给出BCK-代数的L-fuzzy子代数和L-fuzzy理想等概念的新的等价刻画。     

概念的EI代数表示与布尔矩阵表示的研究

AFS方法是一种新的模糊数学分析方法，它包括AFS代数——一种非布尔代数的分子格，AFS结构——一种特殊的“system”(“system”是组合数学中的一个主要的数学对象)和认知域．在AFS代数和AFS结构的基础上，用AFS方法给出了EI代数和布尔矩阵环之间的一个同态关系，并证明了与每个布尔矩阵对应的所有概念的集合在EI代数上形成一个子代数．并且找到了子代数的一些性质和研究子代数的新方法．应用这些新方法和子代数的性质可以深入研究概念的数学本质．