模态系统P1的协调性

摘要：

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

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

所属期刊栏目：25

分类号：B815.1(逻辑学(论理学))

资助基金：国家哲学社会科学基金04BZX047

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

页数：共5页

页码：15-19