形式系统T^*(n)的完备性 |
| |
引用本文: | 裴道武,王三民.形式系统T^*(n)的完备性[J].高校应用数学学报(A辑),2001,16(3):253-262. |
| |
作者姓名: | 裴道武 王三民 |
| |
作者单位: | [1]四川大学数学学院,四川成都610064 [2]陕西师范大学数学研究所,陕西西安710062 |
| |
摘 要: | 模糊逻辑命题演算形式系统T ^*自1997年被提出以来,在模糊逻辑与模糊推理的理论与应用发挥了重要的作用,系统T^*的完备性直到最近才由作者给出证明,本文进一步研究系统T^*的扩张在n元R0链Wn上的完备性问题,通过构造公式列,得到系统T^*的扩张到{T^*(n)},使用代数方法证明了对于任何n≥3,系统T^*(n)关于Wn是完备的。
|
关 键 词: | 多值逻辑 模糊逻辑 形式系统T^* 扩张T^*(n) 完备性 |
本文献已被 维普 等数据库收录! |
|