研究了模糊命题演算的形式演绎系统＊以及在语义上相关的修正的Kleene逻辑系统－／W，W，Wk和R0代数，讨论了算子×：F（S）×F（S）→F（S）的一些基......