关于严格蕴涵系统的布尔值模型  

ON A BOOLEAN-VALUED MODEL OF THE STRICT IMPLICATION SYSTEM

作　　者：李娜[1] 

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

出　　处：《南京大学学报（数学半年刊）》2003年第2期161-168,共8页Journal of Nanjing University(Mathematical Biquarterly)

摘　　要：本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型.

关 键 词：严格蕴涵系统 布尔值 布尔值模型 

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