一类二值谓词逻辑中公式的准真度理论

在二值谓词逻辑中引入了一阶语言的一类特殊解释，该类解释中的解释域取为非空有限集．在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念，证明了关于准真度而言MP规则与HS规则成立，并基于准真度对全体谓词公式之集进行了分类．准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合，但可证明存在一类公式，对该类公式而言，逻辑有效性等价于准真度为1，矛盾性等价于准真度为0．所以准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广．     

FMP问题的构造性方法

研究了全蕴涵三I算法及几种常用蕴涵的三I MP解的还原性．利用新构造的函数Ψx（t）=（A（x）→B（y））→（A^＊（x）→t），将三I MP规则给予定量描述，得到了FMP（Fuzzy Modus Ponens）问题的构造性方法．给出Zadeh型三I MP解，修正了已有结果．将这一构造性方法推广，得到α-三I MP问题的构造性方法，并给出R0型、Lukasiewicz型和Zadeh型三I MP解具有还原性的充要条件．     

F(S)在Lukasiewicz逻辑系统中的一种分划

利用McNaughton函数，研究了Lukasiewicz逻辑系统中的可达广义重言式，证明了当α为无理数时，没有可达α-重言式，进而给出了F(S)的一个分划．还证明了在Lukasiewicz逻辑系统中，重言式可由对非重言式进行有限次升级算法得到。     

基于正则蕴涵算子的三Ⅰ算法的性质

基于正则蕴涵算子分析了三Ⅰ算法的连续性与逼近性问题，指出在模糊连续输入的条件下，RL、RG、RⅡ型三Ⅰ算法均具有连续性与逼近性，并指出了R0型三Ⅰ算法具有连续性与逼近性的条件是↓Ax∈X，A^＊（x）∧A（x）〉1/2成立。     

变电站查找直流接地浅谈

直流系统是变电站一个重要的组成部分,直流系统接地是常见的缺陷。主要介绍了变电站内直流接地查找的方法,并通过在实践中查找直流接地的实例,为维护人员直流接地的查找提供了一些经验。     

几类n值逻辑系统中的MP滤子

给出了n值Lukasiewicz逻辑系统Ln，n值Goedel逻辑系统Gn，n值乘积逻辑系统Pn，n值标准序列逻辑系统Sn和n值L^＊逻辑系统职中的MP滤子的分布情况，并讨论了这些MP滤子与格滤子的关系。     

几种逻辑系统中的近似推理理论

借助于逻辑系统中命题的真度理论, 引入命题之间的逻辑度量的概念, 并讨论其性质, 以此在几种常见的逻辑系统中讨论近似推理问题.     

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

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

广义MP规则

提出了广义ＭＰ规则与集体广义ＭＰ规则,并在二值逻辑系统中通过引入根的概念给出与上述规则在语构意义下的解。以三Ⅰ方法为基础,在连续值逻辑系统φ中讨论了广义ＭＰ规则与集体ＭＰ规则的语构意义下的解。又分别在二值与Ｌｕｋａｓｉｅｗｉｃｚ三值系统中给出了上述问题在语义意义下的解。以上理论可视为模糊推理在经典逻辑学中的非模糊形式。