暂无相关内容，正在全力查找中
马明辉
人物简介：
结构证明论书籍相关信息
内容简介：
结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算，它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法， 通过分析证明的结构可以得到一些逻辑性质，如子公式性质、可判定性、插值性质等.《结构证明论》还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论.
全格式电子版 - 免费下载
