形式系统L*的完备性及其应用

• 作者: 王国俊 裴道武
• 来源期刊: 中国科学E辑
• 学科: 数学
• 关键词: 模糊逻辑 形式系统L* R0代数 完备性 模糊推理 三I算法
• 年，卷（期）: 2002,（1）
• 页码范围: 56-64
• 页数: 9页
• 分类号: O1
• 字数: 7102字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-9275.2002.01.009

摘要

研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于L*_Lindenbaum代数的特殊结构证明了系统L*的完备性与强完备性. 还讨论了形式系统L*在模糊推理中的应用,所得结果和例子表明系统L*优于其他一些常用的模糊逻辑系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	裴道武	四川大学数学学院	8	271	6.0	8.0
2	王国俊	陕西师范大学数学研究所	176	2910	25.0	49.0