| 邹晶,邱伟德.中介模态逻辑——形式系统及语义[J].数学研究及应用,1991,11(2):311~316 |
| 中介模态逻辑——形式系统及语义 |
| Medium Modal Logic-Formal System and Semantics |
| 投稿时间：1989-06-28 |
| DOI：10.3770/j.issn:1000-341X.1991.02.038 |
| 中文关键词: |
| 英文关键词: |
| 基金项目:上海市高教局科研基金资助项目. |
|
| 摘要点击次数: 2224 |
| 全文下载次数: 956 |
| 中文摘要: |
| 本文构造中介模态逻辑,给出三个系统MT,MS4和MS5,它们分别是经典模态逻辑T,S4,S5的扩展.我们取中介集合论作为元语言研究它们的语义问题,并且证明这三个系统的可靠性定理与完备性定理. |
| 英文摘要: |
| This paper construct the medium modal logic based on the medium logic . We present three systems MT, MS4, and MS5 which are respectively extensions of classical modal logic systems T, S4 , S5 . We take medium set theory as me-talanguage to study semantic problem and proof soundness theorem and comple-teness threorem. |
| 查看全文 查看/发表评论 下载PDF阅读器 |
|
|
|
