中介逻辑演算系统MPN及MFN

为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ,并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。ＭＦＮ将为进一步讨论不完全信息数据库作准备     

中介命题演算系统$MP^{M}$的代数系统

MP~M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP~M系统上建立一个代数系统,对MP~M系统进行了代数抽象,讨论了MP~M系统的代数性质．本文还研究了该代数系统的次直积,以及与其它一些代数系统之间的关系．     

*系统的一种改进系统 0*

研究了王国俊教授建立的模糊命题演算的形式演绎系统T以及在语义上相关的修正的Kleene逻辑系统W,W,Wk,给出了T系统的一种改进系统T0,并证明了二者之间的等价性,为形式演绎系统T的研究和应用提供了一个有益的途径。     

基础L*系统的一种扩张——Lukasiewicz系统

研究模糊命题演算的形式演绎系统 L *和 Lukasiewicz命题演算系统 Lu,提出基础系统L *—— BL *系统 ,证明 BL *系统的一种扩张与 Lukasiewicz系统之间的等价性 ,从而为 L *系统和BL *系统提供了一个应用实例。