|
|||||
|
|
| 关于模态命题系统的一种布尔值模型 | |
| 引用本文： | 李娜. 关于模态命题系统的一种布尔值模型[J]. 南京大学学报(自然科学版), 2001, 18(1): 109-113 |
| 作者姓名： | 李娜 |
| 作者单位： | 中山大学逻辑与认知研究所 |
| 基金项目： | 本项目得到普通高校人文社会科学重点研究基地基金资助. |
| 摘 要： | 本文首先定义了模态命题公式□a的布尔值,然后证明模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型. |
| 关 键 词： | 布尔值 布尔值模型 模态公理 正规系统 |
| 修稿时间： | 2000-10-13 |
ON A BOOLEAN-VALUED MODELOF THE MODAL PROPOSITIONAL SYSTEM |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |