关于模态命题系统的一种布尔值模型  

ON A BOOLEAN-VALUED MODEL OF THE MODAL PROPOSITIONAL SYSTEM

作　　者：李娜[1] 

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

出　　处：《南京大学学报（数学半年刊）》2001年第1期109-113,共5页Journal of Nanjing University(Mathematical Biquarterly)

基　　金：普通高等学校社会社会科学重点研究基地基金

摘　　要：本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.

关 键 词：布尔值 布尔值模型 模态公理 正规系统 模态命题系统 布尔代数 严格蕴涵系统 

分 类 号：O141.1[理学—数学]