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