论正规命题逻辑的析取性质
The Disjunction Property of Some Propositional Logics

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