在知识表示和自动推理领域，命题逻辑是一种极其重要的形式化语言，其中命题逻辑可满足性问题是研究最广泛的核心问题之一，约简命题逻辑......

研究了模糊命题演算的形式演绎系统 *和修正的Kleene逻辑系统W,W,Wk及R0-代数.给出了 *系统的半对偶形式系统S * ;与交推理规则相......

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的......

研究了模糊命题演算的一种形式演绎系统L*和修正的Kleene逻辑系统W-,W,Wk及R0-代数,给出了L*系统的一种弱完全对偶形式系统WCL-*,......

本文将王国俊教授在逻辑系统,W,Wk中的广义重言式理论进行推广并应用到了Go(o)del逻辑系统(G-),G,Gn中.主要结果是 :在逻辑系统(G-......

研究了王国俊教授建立的模糊命题演算的形式演绎系统 *以及在语义上相关的修正的Kleene逻辑系统W,W,Wk,给出了 *系统的一种改进系......

研究模糊命题演算的形式演绎系统L*和Lukasiewicz命题演算系统Lu,提出基础系统L*--BL*系统,证明BL*系统的一种扩张与Lukasiewicz系......