关于模态命题公式的一种布尔值  

作　　者：李娜[1] 

机构地区：[1]中山大学逻辑与认知研究所

出　　处：《中山大学学报（社会科学版）》2003年第S1期101-104,共4页Journal of Sun Yat-sen University(Social Science Edition)

摘　　要：文章定义了模态公式□_α的布尔值,证明了模态命题逻辑的正规系统K、D和T的所有公理的布尔值为1。

关 键 词：布尔值 模态命题逻辑 正规系统 

分 类 号：O153.2[理学—数学]