论正规命题逻辑的析取性质（英文）

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