经典命题逻辑矢列演算相关论文
在《结构证明论》中,给出保持高度收缩定理在经典命题逻辑矢列演算中的一个详细而完整的证明过程,得出保持高度收缩的推论并证明了......
在《结构证明论》①＊中，切割规则可容许性定理的证明在经典命题逻辑矢列演算中有四个问题：切割高度计算存在错误；“切割公式仅在左前提......
