L^＊-Lindenbaum代数的结构与L^＊公理系统的简化形式

证明了Ｌ＊－Ｌｉｎｄｅｎｂａｕｍ代数［Ｆ］是具有逆序对合对应的有界分配格，得出了Ｌ＊中的公理系统的一种简化形式．

L^＊-Lindenbaum代数中的滤子

利用格论中滤子的相关知识,对公式集D(Г)的性质进行研究。通过对D(Г)和R0代数中MP滤子相似性的比较分析,证明了L*-L indenbaum代数[F]中的MP滤子都是形如D(Г)形式的,其中D(Г)={[A]|Г├A,A∈F(S)};又进一步证明了[F]中的极大滤子(格论意义下)是极大MP滤子,而且给出了刻画[F]中极大滤子的一个充分条件.

伪度量L＊-Lindenbaum代数中基本运算的连续性

研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便.

基础R0-代数与基础L^＊系统

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L*系统的观点,讨论了基础R0-代数与BL代数,基础L*系统与BL系统之间的相互关系及相对独立性,讨论了基础L*系统关于基础R0-代数的完备性问题,证明了MV-代数是特殊的基础R0-代数,指出了Lukasiewicz模糊命题演算系统是基础L*系统的扩张,最后作为基础R0-代数与基础L*系统的一个应用,证明了L*系统关于语义ΩW的完备性,并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试.

￡~*-Lindenbaum代数中的商理想

利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)/～中的运算,在F(S)/～中定义了商理想,讨论了商理想的性质,得到了F(S)/～中的商理想都有形如<┐D(Γ)>的形式.

关于形式系统L^(*)的强完备性

进一步讨论了形式系统 L? 中的一般演绎推理及强完备性问题。对于任意的公式集 Γ, 引入一种 新的代数结构—R0(Γ) 代数, 利用子代数结构, 代数滤子理论及次直积分解理论等代数工具, 证明 了系统 L? 的强完备性定理。

L~∞-Banach代数的内理想的刻画及同构定理

首先给出了具有单位元的 Ｌ∞－ Ｂａｎａｃｈ 代数的内理想的刻画，由此推广了［１］ 定理２ ．２ ．然后我们给出了具有收缩逼近单位元的 Ｌ∞ － Ｂａｎａｃｈ 代数之间的一个同构定理．作为推论，我们证明了：两个 Ｃ 代数之间的完全等距映射是同构的．

弱MV-代数与IMTL代数的关系及IMTL公理系统的简化

证明了弱MV-代数与IMTL代数是等价的代数结构;把IMTL公理系统的11条公理简化为8条。

完备随机赋范代数中的Gleason-Kahane-Zelazko定理(英文)

首先给出在某个层次上可乘的L^0-线性函数的概念.进一步,建立了单位的完备随机赋范代数中的Gleason-Kahane-Zelazko定理.

从L^p(G,A)到L^p(G,X)的L^1(G,A)-模同态和不变算子(1

设G是一个局部紧的Abel群,A是拥有范数为1的单位元e的交换Banach代数,X是Banach A-模,Y是Banach空间。本文得到了Hom_(L_1(G, A))(L^p(G,A),L^p(G,X))和不变算子N(L^p(G,Y),L^p(G, X^(**)))的表示。此外,还证明了Hom_(L_1(G, A))(L^p(G, A),L_p(G,X))≌N(L^p(G, A),L^p(G,X))的充要条件是dim A=1。

自由群von Neumann代数的L^(p)分解

本文研究基于n阶自由群Fn的非交换L^(p)空间,对于n=2和n=∞,给出所对应非交换L^(p)空间互相同构的一个新证明,并给出该同构的具体形式.进一步讨论自由群von Neumann代数的L^(p)分解与von Neumann代数刚性问题的联系.

基础R0－代数的性质及在L^＊系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统和与之在语义上相关的R_0-代数,提出了基础R_0-代数的观点并讨论了其中的一些性质,在将系统中的推演证明转化为相应的R_0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了系统中的模糊演绎定理。

基于L^＊-格值逻辑上的BCK-代数中直觉不分明化理想

在L^＊-格值逻辑的语义框架下，以L^＊-格值上的Lukasiewicz蕴涵算子为工具定义了L^＊-格值逻辑上的直觉不分明化BCK-代数的概念，将用集论所刻画的BCK-代数中理想、正定蕴涵理想和蕴涵理想等概念在L^＊-格值谓词演算下给予了新的刻画，讨论了它们的性质及其关系，研究了这些理想与其同态象、同态原象之间关系，获得了同类理想之积仍为该类理想．

L^±算符和量子包络代数

本文研究了Ｌ±算符和量子包络代数生成元之间的具体关系，并以ＵｑＡＮ代数和ＵｑＧ２代数为例，用生成元明显表出Ｌ±算符．

基于完备BR_0-代数的全蕴涵三I算法

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法,对—般蕴涵算子给出了三I算法解存在的—个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三I算法是与B(?)*系统相匹配的模糊推理方法．