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

摘要：

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

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

所属期刊栏目：20

分类号：O144(数理逻辑、数学基础)

资助基金：the MOE Project of Key ResearchInstitute of Humanities and Social Science in University2JAZJD720018

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：161-168