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

摘要：

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

关键词：模糊逻辑、命题演算、形式演绎系统 *、改进形式演绎系统 0*

所属期刊栏目：17

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2004-08-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：46-52