|
|||||
|
|
| T^＊系统的一种弱完全对偶形式系统WCT^＊— | |
| 作者姓名： | 吴洪博 王国俊 |
| 作者单位： | [1]四川大学数学系，四川成都610064 [2]唐山师范学院，河北唐山063000 |
| 摘 要： | 研究了模糊命题演算的一种形式演绎系统T^*-和修正的Kleene逻辑系统W^-,W,Wk及R0-代数，给出了T^*-系统的一种弱完全对偶形式系统WCT^*-，并证明了二者之间的等价性，为形式演绎系统的研究和应用提供了一个有益的途径。 |
| 关 键 词： | 模糊逻辑 命题演算 形式演绎系统T^＊ 弱完全对偶形式演绎系统WCT^＊－ |
| 本文献已被 维普 等数据库收录！ | |