| 关于严格蕴涵系统的布尔值模型 |
| |
| 引用本文： | 李娜.关于严格蕴涵系统的布尔值模型[J].南京大学学报(自然科学版),2003,20(2):161-168. |
| |
| 作者姓名： | 李娜 |
| |
| 作者单位： | 中山大学逻辑与认知研究所,广州,510275;南开大学,哲学系,天津,300071;河南大学,政治系,开封,475001 |
| |
| 摘 要： | 本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型.
|
| 关 键 词： | 严格蕴涵系统 布尔值 布尔值模型 |
ON A BOOLEAN-VALUED MODEL OF THE STRICT IMPLICATION SYSTEM |
| |
| Abstract.ON A BOOLEAN-VALUED MODEL OF THE STRICT IMPLICATION SYSTEM[J].Journal of Nanjing University: Nat Sci Ed,2003,20(2):161-168. |
| |
| Authors: | Abstract |
| |
| Abstract: | |
| |
| Keywords: | the strict implication system Boolean value Boolean valued model |
| 本文献已被 维普 等数据库收录！ |
|
