三I方法与区间值模糊推理

（ｉ）进一步论证了模糊推理ＣＲＩ方法应当改进三Ｉ方法;（ｉｉ）提出区间值型模糊推理问题;（ｉｉｉ）提出“激活一个,否则离开”原则作为解决问题（ｉｉ）的预处理手段;（ｉｖ）解决问题（ｉｉ）。     

全蕴涵多Ⅰ算法及其在多准则决策中的应用

将全蕴涵思想应用于基于L-模糊集的推理问题(其中L是一完备格),建立α-多Ⅰ算法的计算公式,并基于一类广泛的蕴涵算子讨论相应的多Ⅰ算法的还原性问题. 最后,作为多Ⅰ算法的应用,解决一类多准则决策问题.     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

非理论坡口对超声波检测焊缝的影响

通过对理论焊接坡口和非理论坡口的比较,我们可以对比理论坡口和非理论坡口对焊缝成形的影响,进而分析非理论坡口对焊缝超声波检测的影响,确保超声波检测工作质量。     

Lukasiewicz三值逻辑度量空间中的反射变换

在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]).     

关于序同态的若干特征定理

1979年,作者在文献[1]中引入了序同态概念,随后又于文献[2,3]中较系统地研究了它的基本性质。由于Zadeh型函数、Fuzz函数都是序同态的特例,特别是当把通常映射f:X→Y与它诱导出的映射f:p(X)→p(Y)等同看待时,可认为通常映射也是序同态的特例,所以序同态这一概念有着广泛的实际背景。本文将进一步给出关于序同态的若干特征     

剩余格中的Fuzzy(P)滤子的结构

在剩余格中引入生成Fuzzy(P)滤子的概念并给出了它的结构。证明了剩余格中的Fuzzy(P)滤子之集构成完备的分配格,并在全体Fuzzy(P)滤子之集上引入运算""和"→",证明了剩余格中的部分Fuzzy(P)滤子之集添入特殊的零元得到的集合带上这两个运算构成剩余格。     

(L)ukasiweicz n值命题逻辑中公式的真度理论和极限定理

在Lukasiewicz n值命题逻辑中引入了公式的真度概念，得到了一个极限定理．表明当n趋于无穷时由公式的真度决定的真度函数τn收敛于积分真度函数τ，从而架起了离散值Lukasiewicz逻辑与连续值Lukasiewicz逻辑之间的桥梁．所得的结果是二值命题逻辑中相应结果的自然推广。     

命题演算系统f中的Boole型理论

研究了命题演算系统f中一类特殊理论——Boole型理论的内部结构．从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要条件．利用Boole型理论在全体公式集F（S）中引入了同余关系，证明了商代数是Boole代数，并找到了TH（L）为最小的Boole型闭理论．     

修正的Kleene系统中的Σ-(α-重言式)理论

证明了关于全体赋值而言 ,修正的Kleene系统中只有 3种α 重言式 .在赋值域为有限集的情形证明了当α过半时α 重言式的类类互异定理 .最后 ,在有限值系统中证明了广义重言式的重言式表示定理 .