形式系统L*(n)的完备性

• 作者: 王三民 裴道武
• 来源期刊: 高校应用数学学报A辑
• 学科: 数学
• 关键词: 多值逻辑 模糊逻辑 形式系统L* 扩张L*(n) 完备性
• 年，卷（期）: 2001,（3）
• 页码范围: 253-262
• 页数: 10页
• 分类号: O141.1
• 字数: 6791字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-4424.2001.03.001

摘要

模糊逻辑命题演算形式系统L*自1997年被提出以来，在模糊逻辑与模糊推理的理论与应用中发挥了重要的作用.系统L*的完备性直到最近才由作者给出证明.本文进一步研究系统L*的扩张在n元R0链Wn上的完备性问题，通过构造公式列，得到系统L*的扩张列{L*(n)}，使用代数方法证明了对于任何n≥3，系统L*(n)关于Wn是完备的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	裴道武	四川大学数学学院	8	271	6.0	8.0
2	王三民	陕西师范大学数学研究所	3	22	1.0	3.0