论文部分内容阅读
研究了王国俊教授建立的模糊命题演算的形式演绎系统T^*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算×:a×b=_(a→_b)的性质,并以此为工具利用Petr Haejek证明Lukasiewicz模糊命题演算系统关于语义ΩL完备性的方法证明了T^*系统关于语义ΩW的完备性。