严格蕴涵系统S3的协调性  

ON THE CONSISTENCY OF THE STRICT IMPLICATION SYSTEM S3

作　　者：李娜 [1] 李季  

机构地区：[1]南开大学哲学系,天津,300071 [2]郑州师范高等专科,郑州,450044

出　　处：《南京大学学报（数学半年刊）》2005年第1期23-27,共5页Journal of Nanjing University(Mathematical Biquarterly)

基　　金：国家自然科学基金，天津市自然科学基金

摘　　要：文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的协调性(用布尔值模型方法);其次证明模态系统P3和严格蕴涵系统S3等价.

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

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