| 中介模态逻辑——形式系统及语义 |
| |
| 引用本文： | 邹晶,邱伟德.中介模态逻辑——形式系统及语义[J].数学研究及应用,1991,11(2):311-316. |
| |
| 作者姓名： | 邹晶 邱伟德 |
| |
| 作者单位： | 上海工业大学计算机工程系;上海工业大学计算机工程系 |
| |
| 基金项目： | 上海市高教局科研基金资助项目. |
| |
| 摘 要： | 本文构造中介模态逻辑,给出三个系统MT,MS4和MS5,它们分别是经典模态逻辑T,S4,S5的扩展.我们取中介集合论作为元语言研究它们的语义问题,并且证明这三个系统的可靠性定理与完备性定理.
|
| 关 键 词： | 中介模态逻辑 形式系统 语义 |
| 收稿时间： | 1989/6/28 0:00:00 |
Medium Modal Logic-Formal System and Semantics |
| |
| Zou Jing and Qiu Weide.Medium Modal Logic-Formal System and Semantics[J].Journal of Mathematical Research with Applications,1991,11(2):311-316. |
| |
| Authors: | Zou Jing and Qiu Weide |
| |
| Institution: | Department of Computer Engineering Shanghai University of Technology;Department of Computer Engineering Shanghai University of Technology |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《数学研究及应用》浏览原始摘要信息 |
| 点击此处可从《数学研究及应用》下载免费的PDF全文 |
|
