格值一阶逻辑系统LF(X)中的α-有序语义归结

• 作者: 张家锋 曹发生
• 来源期刊: 四川理工学院学报（自然科学版）
• 学科: 数学
• 关键词: 自动推理 归结域 格值逻辑 格蕴涵代数
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 机械、电子及计算机科学
• 页码范围: 27-30
• 页数: 4页
• 分类号: O142
• 字数: 3869字
• 语种: 中文
• DOI: 10.11863/j.suse.2015.05.06

摘要

讨论格值一阶逻辑系统LF (X)中α-语义归结方法和有序归结方法的相容性.给出了LF(X)中α-有序语义归结和α-有序语义归结演绎的概念,通过实例说明LF (X)中α-有序语义归结演绎的有效性和不完备性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张家锋	贵州民族大学理学院	10	17	2.0	4.0
2	曹发生	贵州工程应用技术学院理学院	6	5	1.0	2.0