子公式性质相关论文
在《结构证明论》①＊中，切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题：切割高度计算存在错误；“切割公式仅在左前提......
有关模态逻辑的自然演绎虽不是模态逻辑研究主流之一，也比不上模态逻辑语义研究的红火，但这也是模态逻辑的一种研究传统——语形和证......
