• 阅读次数: 18 下载次数: 0
  • 荐购次数: 0 收藏次数: 0
谓词抽象研究
建议阅读终端:
扫描用手机阅读此书支持Android/iPhone
内容简介
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域,通过引入谓词抽象这一具体的技术,突破了模态逻辑领域Herbrand 定理研究的难题,从而为模态自动定理证明提供了理论基础。在哲学领域,通过将谓词抽象思想应用于相关哲学问题的研究,延续了哲学研究中的逻辑分析传统。
目录
发表评论
评分
评价:
请输入评论信息
0/255
最新上架