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