作　　者： ;

机构地区： 南开大学哲学院

出　　处： 《苏州科技学院学报（自然科学版）》 2004年第2期13-16,共4页

摘　　要： 文献眼7演证明了严格蕴涵系统S4的协调性,本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4.1的协调性。 This paper proves the consistency of the system S4.1 acquired by adding the axiom M on the basis of the strict implication system S4.

关 键 词： 严格蕴涵系统 协调性 布尔值模型 等价性

领　　域： [理学] [理学]