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

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

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

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

R0-代数的R0-语义集上的拓扑

以ΩM记R0-代数M到R0-单位区间的全体赋值之集.证明一个同构于一族全序的至多可数的R0-代数的直积的子R0-代数M是赋值决定序的,即x≤y当且仅当(V)v∈ΩM,v(x)≤v(y).然后通过一种自然的方式在ΩM上引入Fuzzy拓扑δ,研究拓扑δ及其相应的截拓扑的性质.建立R0-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理.     

关于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代数上形成一个子代数．并且找到了子代数的一些性质和研究子代数的新方法．应用这些新方法和子代数的性质可以深入研究概念的数学本质．     

关于p可解限制李超代数

本给出了p可解限制李超代数的一些性质和它们可换的几个充分条件，同时，得到了关于限制李超代数的限制超导子与特征阶化理想的一些结果。     

不相容决策信息系统属性核的研究

决策表属性核的计算往往是基于Rough集理论的决策信息系统约简过程的出发点和关键．不相容决策信息系统是信息系统约简处理研究的重点．本文对不相容决策信息系统属性核的计算问题进行研究，证明了Rough集理论代数观和信息观中属性核概念的包含关系，以及几种属性核计算方法所得到的结果之间的包含关系．     

Nuclear C*-代数中的三角子代数的Jacobson根

设B是含Kumjian意义的对角D的Nuclear C^*-代数，A是B中的三角子代数，则A的Jacobson根等于A的拓扑素根。     

量子群Uq(sl(2))的广义伴随作用

设U表示单李代数sl(2)的量子化包络代数Uq(sl(2))，Ft(U)是由广义伴随作用下局部有限的元素组成，作为U-模，Ft(U)的单模分解式为Ft(U）=⊙i，j≥0[c^iE^jK^-t]。