关于形式系统Y^＊及R0-代数的若干结果

研究了模糊逻辑的形式演绎系统Y^*及R0-代数的性质，得到形式系统Y^*的两个更简捷的等价系统，证明了R0-代数的对偶代数是有界逆序对合BCK-代数，并给出关于R0-代数的一个重要反例，说明了R0-代数中V与→是各自独立的．     

关于形式系统L*及R0-代数的若干结果

研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的.     

R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。     

R_0代数的直觉模糊子代数

将直觉模糊集与R0代数相结合,定义了R0代数的直觉模糊子代数的概念。讨论了R0代数的直觉模糊子代数与R0子代数之间的关系;证明了R0代数的直觉模糊子代数的交是R0代数的直觉模糊子代数;定义了R0代数的直觉模糊子代数的像与逆像,证明了R0代数的直觉模糊子代数的同态像和同态逆像也是R0代数的直觉模糊子代数。研究结果进一步丰富和完善了R0代数的模糊理论。     

[0,1]上的一种逻辑度量结构

在R0单位区间[0,1]上引入了一个逻辑度量ρ,从而([0,1],ρ)成为一个度量空间(本文中称"(R0单位)逻辑度量空间"),并对逻辑度量空间的结构及其性质进行了详尽的讨论,结果表明a∈(0,1),{a}即开又闭,而{0},{1}是闭集,但不是开集.     

关于BR0-代数的一些新性质

基于R0-代数（BR0-代数）对于模糊命题逻辑系统L＊（BL＊）的语义的重要性,对R0-代数和BR0-代数作更进一步的探讨,得到了它们的一些新的性质以及BR0-代数成为R0-代数的充分必要条件．这些结果将有助于对相应的形式逻辑系统与模糊推理的研究．     

初等模糊一阶逻辑的准形式演绎系统

本在模糊命题逻辑演绎系统的基础上,引入了模糊意义下的一阶逻辑的相关概念,建立了模糊一阶（谓词）逻辑的准形式演绎系统。并且证明了相应的可靠性定理。     

基于一阶谓词和范畴论的形状与形状型

为了对形状的语义分析进行更加深入地研究,在形式系统、一阶谓词演算和范畴论的基础上,给出了形状及形状型的定义,并讨论了形状与形状型在计算机科学中的应用.     

模糊控制器的应用

通过介绍模糊控制器在日、美、中等国的若干应用实例，说明模糊技术实用化的进展状况．     

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

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

形式赋值系统的研究

将一阶谓词演算系统进行语构和语义两方面的扩充，即引进比率量词和模糊量词，将真值区域｛０，１｝扩展到［０，１］，进而建立一个带有比率量词的一阶一型模糊谓词逻辑系统（ＦＯＦＬＲ）。基于模糊逻辑，文中还讨论了一个专家咨询系统框架。     

＊系统中的模糊演绎定理

研究了模糊命题演算的形式演绎系统L*以及在语义上相关的修正的Kleene逻辑系统,W,W,W     

L~*系统的一种弱完全对偶形式系统WCL

研究了模糊命题演算的一种形式演绎系统 L* 和修正的 Kleene逻辑系统 W-,W,Wk 及 R0-代数 ,给出了 L* 系统的一种弱完全对偶形式系统 WCL-* ,并证明了二者之间的等价性 ,为形式演绎系统的研究和应用提供了一个有益的途径     

L0* -Lindenbaum代数的结构与性质

讨论了L*系统的等价简化形式系统L0*系统中Lindenbaum代数的结构与性质.证明了(1)L     

经典公理系统在模糊命题演算中的不和谐性

本从包含度的角度出发，通过讨论经典公理系统在模糊框架下的不良表现，证明了对任意模糊命题逻辑系统而言，都不能指望保留经典命题逻辑系统中的全部定理，而必须有所放弃。进一步给出了在模糊系统中保留Ｌ１）和Ｌ２）或Ｌ１）和Ｌ３）的充分必要条件以及保留Ｌ２）和Ｌ３）的必要条件。     

基于模糊学习方法的非线性系统智能容错控制

提出了一种基于自适应模糊逻辑学习方法的非线性系统智能容错控制方案.整个控制方案集自适应模糊控制器、监督控制器和调节控制器为一体,是一个功能强大的控制体系结构.仿真结果表明:提出的控制方案能有效地识别和调节非线性系统的未知错误,而且控制系统在不确定或错误的情况下具有稳定性和鲁棒性.     

模糊模态逻辑系统MLuk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统MLuk,然后将其赋值格离散化研究了多值模态逻辑系统MLn;证明了在MLn中,对任一可能的赋值α都存在可达α-重言式;在MLuk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在风系统R0起关键作用的升级算法对MLn系统已不再适用,并分析了其原因。