论文部分内容阅读
研究了模糊命题演算的形式演绎系统＊以及在语义上相关的修正的Kleene逻辑系统－／W，W，Wk和R0代数，讨论了算子×：F（S）×F（S）→F（S）的一些基本性质，给出了＊系统中的模糊演绎定理，结果表明，在*系统中。（1）如果Г∪｛A｝┣B，那么Г┣A^2→B；（2）Г∪｛A^2｝┣B的充要条件是Г┣A^2→B；（3）（A×B）×C≈A×（B×C）（≈表示可证等价）；（4）A×B≈B×A；（5）┣A×（A→B）→B；