|
|||||
|
|
| 道义逻辑D-系统的一种布尔值模型 | |
| 引用本文： | 李娜.道义逻辑D-系统的一种布尔值模型[J].河南大学学报(自然科学版),2002,32(2):10-13. |
| 作者姓名： | 李娜 |
| 作者单位： | 河南大学,政治系,河南,开封,475001,南开大学,哲学系,天津,300071 |
| 基金项目： | 普通高等学校人文社会科学重点研究基地基金资助(中山大学逻辑基地),河南大学科研基金资助. |
| 摘 要： | 本文为道义模态逻辑D－系统建立布尔值模型。首先定义道义模成公式○α的布尔值‖○α‖；其次证明在该定义下，道义模态逻辑系统D1、D2和D3的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的布尔值模型V^B(B是一个完全的布尔代数）也是道义模态逻辑系统D1、D2和D3的布尔值模型。 |
| 关 键 词： | 道义逻辑 布尔值 布尔值模型 |
| 文章编号： | 1003-4978(2002)02-0010-04 |
On A Boolean-Valued Model of the Deontic Logical D-System |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |