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

摘要：

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

关键词：多值逻辑、模糊逻辑、形式系统L*、扩张L*(n)、完备性

所属期刊栏目：16

分类号：O141.1(数理逻辑、数学基础)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：253-262