|
|||||
|
|
| 形式系统T^＊的完备性及其应用 | |
| 引用本文： | 裴道武,王国俊.形式系统T^＊的完备性及其应用[J].中国科学(E辑),2002,32(1):56-64. |
| 作者姓名： | 裴道武 王国俊 |
| 作者单位： | [1]四川大学数学学院，成都610064 [2]陕西师范大学数学研究所，陕西西安710062 |
| 摘 要： | 研究了R0代数类的性质与结构，并用这些结果证明了R0区间0,1]上的每个重言式在任－R0代数上仍是重言式，进而基于T^*－Lindenbaum代数的特殊结构证明了系统T^*的完备性与强完备性。还讨论了形式系统T^*在模糊推理中的应用，所得结果和例子表明系统T^*优于其他一些常用的模糊逻辑系统。 |
| 关 键 词： | 模糊逻辑 形式系统T^＊ R0代数 完备性 模糊推理 三Ⅰ算法 模糊集 数理逻辑 |
| 本文献已被 维普 等数据库收录！ | |