Screen Library谓词抽象研究 = Studies on predicate abstraction
Saved in:
| Main Authors: | |
|---|---|
| Published: |
社会科学文献出版社
|
| Publisher Address: | 北京 |
| Publication Dates: | 2017 |
| Literature type: | Book |
| Language: | Chinese |
| Series: |
华侨大学哲学社会科学文库哲学系列 |
| Subjects: | |
| Carrier Form: | 213页: ; 24cm |
| ISBN: | 978-7-5201-1173-7 |
| Index Number: | O141 |
| CLC: | O141.12 |
| Call Number: | O141.12/2442 |
| Contents: |
华侨大学哲学社会科学学术著作专项资助计划资助 有书目（第202-213页） 本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。 |