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

• 作者: 刘熠 徐扬 贾海瑞
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 格蕴涵代数 格值一阶逻辑 多元α-归结原理
• 年，卷（期）: 2015,（14）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 51-56,190
• 页数: 7页
• 分类号: TP391
• 字数: 7945字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1404-0210

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制开发中心	186	1462	15.0	32.0
2	刘熠	内江师范学院数学与信息科学学院	27	88	5.0	8.0
6	贾海瑞	西南交通大学智能控制开发中心	4	10	2.0	3.0