他连A都知道--认知逻辑EK1-EK3

摘要：

首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果.其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的.最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的.

关键词：认知系统、邻域语义、框架可靠性、框架完全性

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

资助基金：教育部哲学社会科学研究重大课题04JZD0006

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

页数：共11页

页码：122-132