|
|||||
|
|
| T^＊系统的半对偶形式系统ST^—＊ | |
| 作者姓名： | 吴洪博 陈景林 |
| 作者单位： | [1]陕西师范大学数学研究所，陕西西安710062 [2]唐山师范学院数学系，河北唐山063000 |
| 摘 要： | 研究了模糊命题演算的形式演绎系统T^*和修正的Kleene逻辑系统W^-,W,Wk及R0－代数，给出了T^* 系统的半对偶形式系统ST^－＊；与交推理规则相对应，引入并推理规则，证明了T^*系统和ST^-*系统的等价性。为形式演绎系统的研究和应用提供了一个有益的途径。 |
| 关 键 词： | 模糊命题演算 形式演绎系统T^＊ 半对偶形式演绎系统ST^－＊ 并推理规则 交推理规则 等价性 |
| 本文献已被 维普 等数据库收录！ | |