道义逻辑D-系统的一种布尔值模型

摘要：

本文为道义模态逻辑D-系统建立布尔值模型. 首先定义道义模态公式○α的布尔值‖○α‖;其次证明在该定义下,道义模态逻辑系统D1、D2和D3的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是道义模态逻辑系统D1、D2和D3的布尔值模型.

关键词：道义逻辑、布尔值、布尔值模型

所属期刊栏目：32

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

资助基金：普通高等学校人文社会科学重点研究基地基金;河南大学校科研和教改项目

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

页数：共4页

页码：10-13