摘要
研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L*
The formal deductive system L * for fuzzy propositional calculus and the revised Kleene logic systems ,W,W k , that are relevant to the former in semantics, has been studied, both of them are first proposed by professor Guo jun Wang. The main results of this paper are: (1) A kind of improved formal deductive system L * 0 for the system L * has been established; (2) The equivalence between the system L * and L * 0 has been proved. This work offers a useful tool for further studying and developing the system L *.
出处
《纯粹数学与应用数学》
CSCD
2001年第1期46-52,共7页
Pure and Applied Mathematics
关键词
模糊逻辑
命题演算
形式演绎系统T
改进形式演绎系统T
逻辑系统
Fuzzy logic, propositional calculus, formal deductive system L *, improved formal deductive system L * 0
