形式布尔算子的命题逻辑

在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性，将经典命题逻辑作为其特例。在布尔算子命题逻辑中给出了其公理系统和求公式恒真水平的机械推导算法。     

布尔算子Fuzzy逻辑公式的λ—恒假性

在布尔算子Ｆｕｚｚｙ逻辑中证明了任意公式Ｇ是λ－恒假的，当且仅当Ｇ所对应的子句集Ｓ是λ－恒假的。进而有子句集Ｓ是λ－恒假的，当且仅当Ｓ在其所有Ｈｅｒｂｒａｎｄ解释下是λ－恒假的，从而保证了在布尔算子Ｆｕｚｚｙ逻辑中施行归结的正确性。     

直觉算子模糊命题逻辑系统中的归结方法

对直觉算子模糊逻辑(记为IOFL)系统给出初步解释,给出了复杂字(μ,v)-互补及(μ,v)-相似的概念,对(μ,v)-归结演绎作进一步探讨,并讨论了(μ,v)-归结在实例中的应用．     

直觉模糊命题逻辑公式的概率真度

定义了直觉模糊命题逻辑公式的概率α-真度,讨论了公式的σ-真度与σ-相似度之间的关系,并证明了基于σ-真度的公式的推理规则。最终获得与王国俊教授关于一维真值逻辑公式的积分真度理论类似的结果。     

布尔算子Fuzzy逻辑公式的λ－恒假性

在布尔算子Ｆｕｚｚｙ逻辑中证明了任意公式Ｇ是λ－恒假的，当且仅当Ｇ所对应的子句集Ｓ是λ－恒假的。进而有子句集Ｓ是λ－恒假的，当且仅当Ｓ在其所有Ｈｅｒｂｒａｎｄ解释下是λ－恒假的，从而保证了在布尔算子Ｆｕｚｚｙ逻辑中施行归结的正确性．     

区间值模糊命题逻辑的广义拟重言式及其分类

通过定义规范区间值模糊命题逻辑的→s蕴涵算子，讨论了区间值模糊命题逻辑广义拟重言式的分类，获得了与王国俊的一维赋值格广义重言式理论类似的结果。     

区间数结合算子模糊逻辑及λ—归结

（０，１）上的所有区间数作为一个结合算子格Ｌ１，本文在此格上建立了一种新的模糊逻辑系统ＩＯＦＬ，讨论了该逻辑系统的一些性质，范式表示及λ－归结等问题。     

Einstein算子上模糊检索模型研究

用模糊数学对情报检索进行了描述，在Ｅｉｎｓｔｅｉｎ算子上建立了新的模糊检索模型。该模型与Ｚｅｄｅｈ算子模型相比，能够更好地反映文献与查询的相关度，当μｇ（ｄ，ｔ）只取０和１时，检索结果与布尔检索相同。因此，Ｚａｄｅｈ算子模型只是本模型的特例，该模型的输出以λ值确定三级输出的模式。     

模糊拟阵中模糊闭包算子的特征

首先推广了拟阵理论中的元素与集合的相关性概念，给出了模糊拟阵的模糊相关性的定义，并进行了深入的讨论，揭示了模糊相关的性质和模糊相关的条件。在此基础上提出模糊闭包算子的概念，研究了模糊闭包算子的一系列特征以及它与模糊拟阵的导出拟阵的闭包算子之间的关系。最后给出模糊拟阵的模糊闭包公理，对深入研究模糊拟阵的内在本质，完善模糊拟阵理论具有重要意义。     

不确定性在推理过程中传播的行为特征

在布尔算子模糊逻辑中，证明了前提的不确定性在推理过程向结论传播时，恒真水平呈递增趋势，而恒假水平保持不变的特性，从而在定性的意义上说明了随着推理过程的深入，结论的不确定性将会越来越分明，但其可靠性不可能有根本性的提高。     

命题模糊逻辑系统G(o)d中公式的理论可证度

基于命题模糊逻辑系统中公式的理论可证度的概念,探讨了命题模糊逻辑系统God中公式的理论可证度的计算公式,并研究了它的一系列性质。     

基于模糊描述逻辑的模糊UML类图形式化

由于UML难以表示现实世界中存在的大量不确定和模糊的信息,因此前人提出了模糊UML。与UML类似,模糊UML是半形式化语言,缺乏精确的语义。为解决这一问题,提出一种用模糊描述逻辑形式化表示模糊UML类图的方法,扩展模糊描述逻辑f-SHOIN(D)为其逻辑基础,详细描述模糊UML类图中的类、属性和各种关系转化为模糊描述逻辑表达的形式化过程,最后用实例证明该方法是可行的。