关于模态命题系统P_5的协调性  

On the Consistency of the Modal Propositional System P_5

作　　者：李娜[1] 

机构地区：[1]河南大学政治系,河南开封475001

出　　处：《河南大学学报（自然科学版）》2003年第2期13-16,共4页Journal of Henan University:Natural Science

基　　金：普通高等学校人文社会科学重点研究基地基金资助(02JA 2JD 720018).

摘　　要：证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型.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.

关 键 词：布尔值 布尔值模型 模态系统 自返性 

分 类 号：O144[理学—数学]