限定逻辑的表列方法

摘要：

限定逻辑是由McCarthy创立的非单调逻辑的一个重要分支.限定逻辑最大的困难在于其算法的设计.基于表列方法,可以给出命题限定逻辑和公式限定逻辑两种形式证明程序.

关键词： 限定逻辑 表列方法 证明程序 算法优化

作者: 孔红

作者单位: 中国政法大学人文学院,北京 100088

会议类型: 国内会议

会议名称: 2013年全国应用逻辑学术年会

会议地点: 北京

会议语种:中文

页码: 27-31

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