The paper proves that the Boolean value of the modal propositional system P?5 are 1, which means V?B(B is a complete Boolean algebra)is the Boolean valued model of the modal propositiona system P?5.?

 
  • 证明模态系统P5的协调性.;即:证明了模态系统P5的所有公理的布尔值为1
今日热词
目录 附录 查词历史