一个二阶的context逻辑

摘要：

本文为Buvac的context逻辑定义了一个二阶扩充SOQLC,它能为许多常识现象提供更简单自然的描述.作为本文的重要结论,我们证明了SOQLC对一类推广的一般语义结构来说是可靠且完备的.SOQLC还可以作为数据库集成、多理论系统、OO系统等的逻辑基础.

关键词：Context、通用性、二阶逻辑、多类逻辑

所属期刊栏目：21

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金;国家高技术研究发展计划863计划

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

页数：共7页

页码：341-347