西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

结构证明论/马明辉编著

出版发行项:

北京:科学出版社,2019

ISBN及定价:

978-7-03-061601-2/CNY88.00

载体形态项:

xii, 254页;24cm

丛编项:

高等学校逻辑学专业系列教材

个人责任者:

马明辉 编著

学科主题:

证明-高等学校-教材

中图法分类号:

B812.4

书目附注:

有书目 (第253-254页)

提要文摘附注:

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

豆瓣简介：