马明辉的作品

结构证明论

马明辉

评分 暂无

结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算，它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法， 通过分析证明的结构可以得到一些逻辑性质，如子公式性质、可判定性、插值性质等.《结构证明论》还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论.