一个多层的 context 逻辑
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


A Multilevel Context Logic
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    本文介绍了 context 研究的现状,定义了一个新的 context 逻辑 CL,定义并证明了与之相关的一些概念和定理。

    Abstract:

    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.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1996-01-12
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2014-06-11
  • 出版日期:
文章二维码