摘要
证明与模态命题系统S2 -S4 等价的系统P2 -P4 的布尔值为 1,而分别与S1和S5等价的系统P1和P5的布尔值不能确定 .由此 ,证明了VB 是P2 -P4 的布尔值模型 .
The paper proves that the modal propositional system from P 2to P 4 of the Boolean value is 1. But,the Boolean value of the system P 1 and P 5 is undecidable. Therefore, V B (B is a complete Boolean algebra) is the Boolean valued model of the system from P 2 to P 4.
出处
《河南大学学报（自然科学版）》
CAS
2001年第2期12-16,共5页
Journal of Henan University:Natural Science
基金
普通高等学校人文社会科学重点研究基地基金
