版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
集合论含有原子的自然模型和布尔值模型
Natural models and boolean valued model with the atoms in set theory丛 书 名：国家哲学社会科学成果文库
I S B N：(纸本) 9787303121694
出 版 社：北京师范大学出版社
出 版 年：2011年
页 数：187页
学科分类：01[哲学] 0101[哲学-哲学] 07[理学] 010104[哲学-逻辑学] 070104[理学-应用数学] 0701[理学-数学] 070101[理学-基础数学]
馆 藏 号：201404126...
摘 要：本书是为Lewis的五个严格蕴涵系统建立布尔值模型。为此，本文首先定义了模态公式□α的布尔值||□α||；其次证明在该定义下，模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的布尔值模型V B(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型。
