|
|||||
|
|
| 关于模态命题系统P5的协调性 | |
| 引用本文： | 李娜. 关于模态命题系统P5的协调性[J]. 河南大学学报(自然科学版), 2003, 33(2): 13-16 |
| 作者姓名： | 李娜 |
| 作者单位： | 河南大学,政治系,河南,开封,475001 |
| 基金项目： | 普通高等学校人文社会科学重点研究基地基金资助(02JA2JD720018). |
| 摘 要： | 证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型． |
| 关 键 词： | 布尔值 布尔值模型 模态系统 自返性 |
| 文章编号： | 1003-4978(2003)02-0013-04 |
| 修稿时间： | 2002-03-17 |
On the Consistency of the Modal Propositional System P5 |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |