%0 Journal Article
%T 论正规命题逻辑的析取性质<br>The Disjunction Property of Some Propositional Logics
%A 马明辉
%J 逻辑学研究
%D 2015
%X 析取性质是一个逻辑的构造性特征的重要体现。严格蕴涵命题逻辑（正规命题逻辑）是正规模态逻辑的严格蕴涵片段。本文研究了正规命题逻辑的析取性质，运用Kleene slash 给出了析取性质的纯句法刻画条件。对于带有持续性公理的正规命题逻辑，还可以从语义方法给出其析取性质的充分条件。<br
%U https://studiesinlogic.sysu.edu.cn/CN/abstract/abstract216.shtml