模态系统S4.1的协调性  

On the Consistency of the Modal System S4.1

作　　者：李娜[1] 

机构地区：[1]南开大学哲学系,天津300071

出　　处：《苏州科技学院学报（自然科学版）》2004年第2期13-16,共4页Journal of Suzhou University of Science and Technology （Natural Science Edition）

基　　金：国家社会科学基金(04BZX047);天津市"十五"社科研究规划2003年度项目(TJ03-ZX009)

摘　　要：文献眼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.

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

分 类 号：O144[理学—数学]