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

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

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