严格蕴涵系统相关论文
证明与模态命题系统S2-S4等价的系统P2-P4的布尔值为1，而分别与S1和S5等价的系统P1和P5的布尔值不能确定. 由此，证明了VB是P2-P4的布......
本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.......
本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻......
文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的协调性(用布尔值模型方......
文献[7]证明了严格蕴涵系统S4的协调性,本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4.1的协调性.......
本文证明模态系统P1的协调性.为此,首先证明严格蕴涵系统S1的协调性(用布尔值模型方法);其次证明模态系统P1和严格蕴涵系统S1等价.......
