| 施庆生,张东摩,朱梧槚.基于中介逻辑的时序逻辑系统[J].数学研究及应用,1998,18(3):465~471 |
| 基于中介逻辑的时序逻辑系统 |
| A System of Temporal Logic Based on Medium Logic |
| |
| DOI：10.3770/j.issn:1000-341X.1998.03.027 |
| 中文关键词: 中介逻辑 时序逻辑 命题逻辑 中介时序逻辑 |
| 英文关键词:medium logic temporal logic proposition logic medium temporal logic. |
| 基金项目:国家高技术研究发展计划(863 - 05 - 04 - 3) 及国家自然科学基金资助项目. |
|
| 摘要点击次数: 2467 |
| 全文下载次数: 1075 |
| 中文摘要: |
| 本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性．最后对ＭＴＬ系统和经典时序命题逻辑系统进行对比，指出经典时序命题逻辑系统是ＭＴＬ的子系统 |
| 英文摘要: |
| 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. |
| 查看全文 查看/发表评论 下载PDF阅读器 |
