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

• 作者: 李娜
• 来源期刊: 南京大学学报(数学半年刊)
• 学科: 数学
• 关键词: 严格蕴涵系统 布尔值 布尔值模型
• 年，卷（期）: 2003,（2）
• 页码范围: 161-168
• 页数: 8页
• 分类号: O144
• 字数: 1904字
• 语种: 中文
• DOI: 10.3969/j.issn.0469-5097.2003.02.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李娜	中山大学逻辑与认知研究所	81	232	8.0	12.0