逻辑度量空间

取赋值格为［０，１］，用积分工具引入了公式的真度和相似度的概念，并从而在公式集Ｆ上建立了伪距离，为近似推理提供了一种可能的框架．  

MV-代数、BL-代数、R0-代数与多值逻辑

证明三种不同形式的MV－代数刻画的等价性，分析MV－代数、BL－代数与R0代数的逻辑背景，提出若干可进一步研究的课题。  

模糊推理的一个新方法

作为控制的理论基础，模糊推理已有２０多年的历史，至今持续不衰，但其基本原理与逻辑基础似乎均应重新考虑。本文指出Ｚａｄｅｈ的ＣＲＩ算法中的复合运算是缺乏根据的，提出了完全建立在蕴涵运算基础上的三Ⅰ算法，从方法与运算结果两个方面都改进了ＣＲＩ算法。  

Fuzzy蕴涵代数与MV代数

本文讨论Ｆｕｚｚｙ蕴涵代数与ＭＶ代数之间的关系，并证明了在一定的条件下Ｆｕｚｚｙ蕴函代数是剩余格。  

S-闭空间的性质

本文给出了S-闭空间的另一等价定义,建立了刻划S-闭空间特征的定理1,在应用上比[1]中的特征定理2方便得多.以此为依据我们得出了S-闭空间的若干性质,包括:(1)为使Hausdorff空间x是S-闭空间,必须且只须X是极不连通的H-闭空间.(2)为使正则空间是S-闭空间,必须且只须X是极不连通的紧空间.(3)为使拓扑空间X是S-闭空间,必须且只须X的半正则化是S-闭空间.(4)满足第一可数公理的S-闭的Hausdorff空间是有限的.此外,我们指出了[2]的主要结论的证明是错误的.  

二值命题逻辑中命题的真度理论

利用势为2的均匀概率空间的无穷乘积在经典二值命题逻辑中引入了公式的真度概念以及公式间的相似度概念，进而导出了全体公式集上的一种伪距离，为二值命题逻辑的近似推理理论提供了一种可能的框架.  

蕴涵格及其Fuzzy拓扑表现定理

以L－Lindenbaum代数为背景，引入了蕴涵格与正则蕴涵格的概念，讨论了其基本性质，引入了Fuzzy蕴涵空间的概念，为点集拓扑学中零维空间概念的推广．建立了正则蕴涵格的Fuzzy蕴涵空间表现定理，以此为基础可以给出著名的Stone表现定理的另一种证明．  

论Fuzzy格之构造

<正> 本文建立了新的极小族与极大族理论,用以刻划了完全分配律.在此基础上得到了关于Fuzzy格构造的定理2与定理5,并证明了广义拓扑分子格理论适用于一切L-Fuzzy拓扑空间.  

Theory of truth degrees of propositions in two-valued logic

By means of infinite product of evenly distributed probabilistic spaces of cardinal 2 this paper introduces the concepts of truth degrees of formulas and similarity degrees among formulas, and a pseudo-metric on the set of formulas is derived therefrom, this offers a possible framework for developing an approximate reasoning theory of propositions in two-valued logic.  

Boole代数上的度量结构及其在命题逻辑中的应用

设B是一个Boole代数, Ω是从B到Boole代数{0,1}的全体同态之集,μ是Ω上的概率测度.本文基于μ在B中引入了元素的尺寸概念以及元素对之间的相似度概念,并由此在B上建立了度量结构.作为应用,本文改进了新近提出的命题逻辑中的近似推理理论.