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

关键词： 格值一阶逻辑 一般广义子句 局部极复杂广义文字 广义归结 自动推理

作者: 许伟涛 徐扬 张闻强

作者单位: 河南工业大学信息科学与工程学院,郑州 450001 西南交通大学数学学院,成都 610031

会议类型: 国内会议

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

会议地点: 上海

会议语种:中文

页码: 6-6

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