期刊文献+

基于中介逻辑的时序逻辑系统 被引量:2

A System of Temporal Logic Based on Medium Logic
下载PDF
导出
摘要 本文基于中介逻辑建立了一种中介时序逻辑系统MTL(MediumTemporalLogic),文中着重讨论了MTL的形式系统并给出了它的语义解释,证明了MTL系统的可靠性.最后对MTL系统和经典时序命题逻辑系统进行对比。 This paper presents a system of MTL (Medium Temporal Logic) based on the medium logic. Emphasis is given on the formal system of MTL, by discussing its semantics and proving the soundness: Finally,we compare the system of MTL with that of classical temporal propositional logic,pointing out that it is a subsystem of MTL.
出处 《Journal of Mathematical Research and Exposition》 CSCD 1998年第3期465-471,共7页 数学研究与评论(英文版)
基金 国家高技术研究发展计划 国家自然科学基金
关键词 中介逻辑 时序逻辑 命题逻辑 中介时序逻辑 medium logic, temporal logic, proposition logic, medium temporal logic.
  • 引文网络
  • 相关文献

参考文献4

  • 1宫宁生,模式识别与人工智能,1995年,1期,195页
  • 2朱梧--,南京大学学报,1991年,27卷,2期,209页
  • 3朱梧--,南京大学学报,1990年,26卷,4期,564页
  • 4朱梧--,数学研究与评论,1989年,1期,149页

同被引文献12

引证文献2

二级引证文献2

;
使用帮助 返回顶部