限定逻辑的表列方法

摘要：

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

关键词：限定逻辑、表列、极小后承

所属期刊栏目：27

分类号：B81(逻辑学(论理学))

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

页数：共5页

页码：27-31