以目的与背景知识为双条件的逻辑AKC

摘要：

首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果.其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的.最后,我们证明AKC相对这些框架条件也是框架完全的.

关键词：条件句系统、有序邻域语义、框架可靠性、框架完全性

所属期刊栏目：33

分类号：B815.1(逻辑学(论理学))

资助基金：教育部人文社会科学重点研究基地项目05JJD720.40001

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

页数：共7页

页码：95-101