English | 客服电话 021-60821616
您现在所在的位置 >>首页>>图书世界 >>图书详细信息
 
 相干与衍推谓词逻辑
相干与衍推谓词逻辑
作者: 冯棉
编译者: 装帧:平装 字数:249千字
丛书名:华东师大新世纪学术基金
出版时间:2018-07-26 ISBN:978-7-5675-7776-3/B.1132
出版次数:1 开本:小16开  
   定价:¥59     
编辑荐语

高山

内容简介

本书研究了相干与衍推谓词逻辑系统,包括公理系统、自然推理系统和结构推理系统的建构,重要内定理和导出规则的证明,并证明了公理系统与对应的自然推理系统、结构推理系统的等价性;同时研究相干与衍推谓词逻辑弱系统的三元关系变域语义,并在此基础上证明了各个系统的可靠性和完全性。研究的知识体系完整,概念表述明晰,内定理和元定理的证明严格而规范,具有理论的广度和深度,在一些重要理论问题上有突破和创新。

冯棉,华东师范大学终身教授,博士生导师,国务院特殊津贴获得者,中国逻辑学会副会长,上海市逻辑学会会长,《逻辑学研究》杂志编委,台湾大学客座教授(2013)。撰有专著《经典逻辑与直觉主义逻辑》、《广义模态逻辑》、《哲学逻辑与逻辑哲学》、《相干与衍推逻辑》等多部。参编《哲学大辞典》、《逻辑学大辞典》(副主编)、《大辞海》等辞书和《逻辑学导论》等多部教材。
您感兴趣的相关图书
国王的两个身体
字里行间的哲学——被遗忘的隐微写作史
中国心灵的转化——杜威论中国
论历史的起源与目标
关于我们    |     诚聘英才    |     欢迎投稿    |     企业邮箱    |     联系我们    |     网站地图    |     社内资源访问

华东师范大学出版社  版权所有 Copyright(C)2003-2014  社址:上海市中山北路3663号  邮政编码:200062
互联网出版许可证  沪011号  增值电信业务经营许可证  沪B2-20090037 沪ICP备10028539号

沪公网安备 31010702001446号