In this paper,the current state of researches on context is briefly introduced,a new Logic of Context,CL,is defined,some of its definitions and theorems are also provided.
参考文献
相似文献
引证文献
引用本文
刘海燕,陈火旺,王兵山.一个多层的 context 逻辑[J].国防科技大学学报,1996,18(3):109-114. Liu Haiyan, Chen Huowang, Wang Bingshan. A Multilevel Context Logic[J]. Journal of National University of Defense Technology,1996,18(3):109-114.