【摘要】讨论格值一阶逻辑系统LF (X)中a-语义归结方法和有序归结方法的相容性。给出了LF (X)中a-有序语义归结和a-有序语义归结演绎的概念，通过实例说明LF (X)中a-有序语义归结演绎的有效性和不完备性。
【关键词】
《中国卫生产业》 2015-11-09
《人生与伴侣》 2015-11-09
《中国卫生产业》 2015-11-09
《四川理工学院学报（社会科学版）》 2015-11-09
《防护林科技》 2015-11-10
《作物研究》 2015-11-10
《中国卫生产业》 2015-11-10
《中国司法鉴定》 2015-11-10
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
发表评论
登录后发表评论 (已发布 0条)点亮你的头像 秀出你的观点