《相干与衍推谓词逻辑》 - 冯棉 - 华东师范大学出版社 - 香港大書城

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

暢銷書架

好書推介

2024年度TOP

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

新書上架：簡體書繁體書
暢銷書架：簡體書繁體書
好書推介：簡體書繁體書

『簡體書』相干与衍推谓词逻辑

書城自編碼： 3233776
分類：簡體書→大陸圖書→哲學/宗教→哲學
作者：冯棉
國際書號(ISBN)： 9787567577763
出版社：华东师范大学出版社
出版日期： 2018-08-01

書度/開本： 16开

售價：HK$ 83.8

我要買件

** 我創建的書架 **
未登入.

新書推薦：

《人间游戏：人际关系心理学（500万册畅销书《蛤蟆先生》理论原典，帮你读懂人际关系中那些心照不宣的“潜规则”）》
售價：HK$ 43.8

《伟大的遗址（亲历100座人类文明考古奇迹）》
售價：HK$ 206.8

《秦汉国家的思想、信仰与皇权政治》
售價：HK$ 215.6

《反卷社会：打破优绩主义神话（一本直面焦虑与困境的生活哲学书！）》
售價：HK$ 83.6

《偶然事件（命运总是欺软怕硬，你不认命就会赢！）》
售價：HK$ 54.9

《余下只有噪音：聆听20世纪（2025）》
售價：HK$ 206.8

《如何将知识转化为行动》
售價：HK$ 76.8

《助人技术本土化的刻意练习》
售價：HK$ 87.9

編輯推薦：

《相干与衍推谓词逻辑》由华东师范大学出版社出版。

內容簡介：

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

關於作者：

冯棉，华东师范大学终身教授，博士生导师，国务院特殊津贴获得者，中国逻辑学会副会长，上海市逻辑学会会长，《逻辑学研究》杂志编委，台湾大学客座教授（2013）。主要研究领域为现代逻辑和逻辑哲学。撰有《经典逻辑与直觉主义逻辑》上海人民出版社,1989、《广义模态逻辑》华东师大出版社,1990、《相干与衍推逻辑》上海人民出版社,1993、《可能世界与逻辑研究》华东师大出版社,1996、《相干逻辑研究》华东师大出版社,2010、《结构推理》广西师大出版社,2015等多部专著。参与编写《哲学大辞典》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》、《大辞海（数理化力学卷）》等辞书和《逻辑学导论》等多部教材。先后承担多项国家和教育部基金项目，著作和论文获教育部高等学校科学研究优秀成果奖、上海市哲学社会科学优秀学术成果奖和金岳霖学术奖。

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.