格值一阶逻辑系统的α广义归结原理

• 作者: 张德贤 张闻强 徐扬 许伟涛
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 格值一阶逻辑 一般广义子句 局部极复杂广义文字 广义归结 自动推理
• 年，卷（期）: 2014,（1）
• 页码范围: 135-139
• 页数: 5页
• 分类号: TP391
• 字数: 4776字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2014.01.024

摘要

在基于格蕴涵代数的格值逻辑系统框架下,笔者扩展了基于格值逻辑系统的α归结原理,将广义子句集上的归结扩展到一般广义子句集上,提出了基于格值一阶逻辑系统LF(X)的α广义归结原理,建立了格值一阶逻辑系统中α广义归结原理的可靠性定理.通过给出的提升引理,证明了该原理的弱完备性定理.这将为建立基于格值逻辑系统的广义归结方法提供新的自动推理技术.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学数学学院	186	1462	15.0	32.0
2	张德贤	河南工业大学信息科学与工程学院	88	431	10.0	17.0
3	许伟涛	河南工业大学信息科学与工程学院	4	23	3.0	4.0
4	张闻强	河南工业大学信息科学与工程学院	6	12	2.0	3.0