书目信息 机读格式(MARC)
谓词抽象研究
| ISBN/价格： | 978-7-5201-1173-7:CNY59.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 谓词抽象研究/.魏燕侠著 |
| 出版发行项： | 北京:,社会科学文献出版社:,2017.12 |
| 载体形态项： | 213页:;+24cm |
| 丛编项： | 华侨大学哲学社会科学文库.哲学系列 |
| 一般附注： | 华侨大学哲学社会科学学术著作专项资助计划资助 |
| 提要文摘： | 本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。 |
| 并列题名： | Studies on predicate abstraction eng |
| 题名主题： | 谓词逻辑 |
| 中图分类： | O141.1 |
| 个人名称等同： | 魏燕侠 著 |
| 记录来源： | CN 北京新华书店首都发行所有限公司 20180102 |