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

书名：集合论含有原子的自然模型和布尔值模型
作者：李娜著
ISBN：978-7-303-12169-4
出版社：北京师范大学出版社
出版日期：2011.03
本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的布尔值模型V^B（B是一个完全的布尔代数）也是严格蕴涵系统S1和S2的布尔值模型。