一个多层的context逻辑

• 作 者: 刘海燕 陈火旺 王兵山
• 机 构: 国防科学技术大学计算机系
• 出 处: 国防科技大学学报
• 发表日期: 1996年03期
• 关键词: 多层的 context 个体常元 公理系统 元理论 个体域 公式集 知识表示 陈火旺 体系结构

本文介绍了ｃｏｎｔｅｘｔ研究的现状，定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ，定义并证明了与之相关的一些概念和定理。

This article introduces the status quo of context research, defines a new logical context CL, and defines and proves the related concepts and theorems.