| 关于模态公理系统P1-P5的布尔值 |
| |
| 引用本文： | 李娜,路征.关于模态公理系统P1-P5的布尔值[J].河南大学学报(自然科学版),2001,31(2):12-16. |
| |
| 作者姓名： | 李娜 路征 |
| |
| 作者单位： | 1. 河南大学政治系,
2. 中原油田建筑集团公司 |
| |
| 基金项目： | 普通高等学校人文社会科学重点研究基地基金 |
| |
| 摘 要： | 证明与模态命题系统S2－S4等价的系统P2－P4的布尔值为1，而分别与S1和S5等价的系统P1和P5的布尔值不能确定，由此，证明了V^B是P2－P4的布尔模型。
|
| 关 键 词： | 布尔值 模拟公理系统 严格蕴涵系统 布尔代数 模仿命题系统 模态命题逻辑 |
On Boolean Value of the Modal Axiomic System from P1 to P5 |
| |
| Abstract: | The paper proves that the modal propositional system from P2to P4 of the Boolean value is 1. But,the Boolean value of the system P1 and P5 is undecidable. Therefore, VB (B is a complete Boolean algebra) is the Boolean valued model of the system from P2 to P4. |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
