| 模态命题逻辑系统K、D、T、S4、S5、B之比较 |
| |
| 引用本文： | 姚从军.模态命题逻辑系统K、D、T、S4、S5、B之比较[J].毕节学院学报,2009,27(4). |
| |
| 作者姓名： | 姚从军 |
| |
| 作者单位： | 南开大学哲学系,天津,300071 |
| |
| 基金项目： | 湖南科技学院重点科研项目 |
| |
| 摘 要： | 模态命题逻辑系统K、D、T、S4、S5、B所依据的公理有一定的差异,导致它们之间的定理有一定的差异,推理能力的大小也有所不同.由于定理集的不同导致S4、S5可进行叠置模态词的归约,而K、D、T、B不能;S5可进行嵌套模态词的归约,K、D、T、S4、B没有这种归约能力.
|
| 关 键 词： | 模态命题逻辑 形式系统 归约能力 |
Comparison between the Propositional Modal Systems K, D, T, S4, S5 and B |
| |
| YAO Cong-jun.Comparison between the Propositional Modal Systems K, D, T, S4, S5 and B[J].Journal of Bijie University,2009,27(4). |
| |
| Authors: | YAO Cong-jun |
| |
| Institution: | Department of Philosophy of Nankai University;Tianjin 300071;China |
| |
| Abstract: | There is a difference between the axioms of the propositional modal systems K,D,T,S4,S5 and B are dependent upon,which results in a difference in their theorems and in their inference capability.Having different theorem sets,S4 and S5 are capable of reduction of piling modal operators while K,D,T,B are not;S5 is capable of reduction of nesting modal operators while K,D,T,S4 and B are not. |
| |
| Keywords: | Propositional Modal Logic Formal Systems Reductive Capability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
