|
题名:
|
结构证明论 [ 专著] jie gou zheng ming lun / 马明辉编著 , |
|
ISBN:
|
978-7-03-061601-2 价格： CNY88.00 |
|
语种:
|
chi |
|
载体形态:
|
12,254页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2019 |
|
内容提要:
|
本书介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算，它们是结构证明论的基础理论。根岑式矢列演算的基本定理是切割消除。运用证明论研究方法，通过分析证明的结构可以得到一些逻辑性质，如子公式性质、可判定性、插值性质等。本书还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论。 |
|
主题词:
|
证明 高等学校 |
|
中图分类法:
|
B812.4 版次： 5 |
|
主要责任者:
|
马明辉 ma ming hui 编著 |
|
附注:
|
高等学校逻辑学专业系列教材/刘虎主编 |