基于格值一阶逻辑LF（X）的多元α-归结原理的注记

摘要：

进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统 LF(X )的多元α-归结原理的基本理论，给出了在基于 LF(X )的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于 LF(X )的多元α-归结原理的有效性进行了一定分析；这为建立基于 LF(X )的多元α-归结方法以及构造多元α-归结算法建立了理论基础。

关键词：格蕴涵代数、格值一阶逻辑、多元α-归结原理

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金No.61175055，No.61305074；四川省教育厅科研项目重点项目No.14ZA0245；教育部“数学与应用数学”专业综合改革No.ZG0464；四川省教育厅“数学与应用数学”专业综合改革No.01249；四川省教育厅科研项目No.14ZA0245；四川省应用基础研究计划No.2015JY0120。

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

页数：共7页

页码：51-56,190