模态系统P_1的协调性  

On the consistency of the Modal System P_1

作　　者：李娜[1] 

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

出　　处：《信阳师范学院学报（哲学社会科学版）》2005年第3期15-19,共5页Journal of Xinyang Normal University(Philosophy and Social Sciences Edition)

基　　金：国家哲学社会科学基金项目(04BZX047)

摘　　要：本文证明模态系统P1的协调性。为此,首先证明严格蕴涵系统S1的协调性(用布尔值模型方法);其次证明模态系统P和严格蕴涵系统S等价。In order to prove the consistency of the Modal System P1, this paper proves the consistency of the strict implication system S1 by the method of Boolean value model in the first place; and then it proves the equivalence of P1 and S1.

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

分 类 号：B815.1[哲学宗教—逻辑学]