|
题名:
|
结构推理 / 冯棉著 , |
|
ISBN:
|
978-7-5495-6197-1 价格： CNY68.00 |
|
语种:
|
chi |
|
载体形态:
|
238页 24cm |
|
出版发行:
|
出版地： 桂林 出版社： 广西师范大学出版社 出版日期： 2015 |
|
内容提要:
|
本书分为经典命题逻辑的结构推理、直觉主义命题逻辑的结构推理、相干命题逻辑及其线性片段的结构推理、正结合演算的结构推理四章。主要包括: 经典命题逻辑的结构推理系统、切割规则与其他导出规则、系统PL与相应公理系统P的等价性等。 |
|
主题词:
|
逻辑推理 研究 |
|
中图分类法:
|
O141 版次： 5 |
|
主要责任者:
|
冯棉 著 |
|
附注:
|
教育部基地重大项目 (编号10JJD720010) 研究成果 |
|
索书号:
|
5 |