首页 | 本学科首页   官方微博 | 高级检索  
     检索      

形式系统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)  完备性
本文献已被 维普 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号