集合论含有原子的自然模型和布尔值模型

本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的布尔值模型V^B（B是一个完全的布尔代数）也是严格蕴涵系统S1和S2的布尔值模型。