{Im}(α-逻辑有效公式)的理论及其应用

摘要：

建立了一阶模糊语言φ的α[I]一真公式,可达α+[I]-真公式,可数解释模型{Im}(α-逻辑有效公式),可达{Im}(α-逻辑有效公式)及{Im)(α+-逻辑有效公式)的理论,并讨论了它们的一系列性质及其在近似推理中的应用.

关键词：一阶模糊语言、α[I]-真公式、可数解释模型{Im}、{Im}(α-逻辑有效公式)

所属期刊栏目：24

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

资助基金：山东省自然科学基金Y2003A01

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

页数：共4页

页码：179-182