作者：魏燕侠
类别：文化电子书
关键词：谓词抽象研究
整理日期：2018-11-15 09:18:41
下载地址： 本地下载 网友上传
作品导读
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand 定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的..
谓词抽象研究的作者是魏燕侠。本站已与多数网站、公司和作者建立版权共享协议，若您发现您拥有版权的作品未与本站授权，请及时联系我们，我们会立刻处理。