格值一阶逻辑LF(X)中的α-语义归结方法

关键词： 自动推理 语义归结 格值逻辑 格蕴涵代数

作者: 张家锋 徐扬 何星星

作者单位: 西南交通大学智能控制开发中心,四川成都 610031;毕节学院逻辑、语言与认知中心,贵州毕节 551700 西南交通大学智能控制开发中心,四川成都 610031

会议类型: 国内会议

会议名称: 中国计算机学会多值逻辑与模糊逻辑专业委员会第十三届学术年会

会议地点: 上海

会议语种:中文

页码: 5-6

在线出版日期: 2012-10-01（万方平台首次上网日期，不代表论文的发表时间）