模态系统P_1的协调性

On the consistency of the Modal System P_1

摘要: 本文证明模态系统P1的协调性。为此,首先证明严格蕴涵系统S1的协调性(用布尔值模型方法);其次证明模态系统P和严格蕴涵系统S等价。

Abstract: 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.