论正规命题逻辑的析取性质

摘要：

析取性质是一个逻辑的构造性特征的重要体现.严格蕴涵命题逻辑(正规命题逻辑)是正规模态逻辑的严格蕴涵片段.本文研究了正规命题逻辑的析取性质,运用Kleene slash给出了析取性质的纯句法刻画条件.对于带有持续性公理的正规命题逻辑,本文给出了其析取性质的一个充分的语义条件.

机标关键词：命题逻辑、严格蕴涵、语义条件、模态逻辑、构造性、运用、特征、句法

所属期刊栏目：8

分类号：TP1;B81

资助基金：The author is supported by the funding of China ministry of EducationGrant 12YJC72040001;the national funding of social sciencesGrant 12CZX054

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

页数：共12页

页码：1-12