谓词抽象研究

谓词抽象研究

查阅电子书
手机扫码
  • 微信扫一扫

    关注微信公众号

内容简介

本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域,通过引入谓词抽象这一具体的技术,突破了模态逻辑领域Herbrand 定理研究的难题,从而为模态自动定理证明提供了理论基础。在哲学领域,通过将谓词抽象思想应用于相关哲学问题的研究,延续了哲学研究中的逻辑分析传统。

谓词抽象研究是2017年由社会科学文献出版社出版,作者魏燕侠 著。

得书感谢您对《谓词抽象研究》关注和支持,如本书内容有不良信息或侵权等情形的,请联系本网站。

你可能喜欢
秦汉海洋文化研究 电子书
本书试图通过多视角、多方位的考察,理解秦汉社会对于海洋的认识层次、开发程度和利用方式,也期望能够就此说明中国古代海洋探索史和中国古代海洋学史中秦汉人的贡献。此前对当时的海洋探索、海洋开发,对当时社会的海洋意识,对这一历史阶段的海洋文化的总体论说,研究还很不深入。此项研究尝试说明秦汉时期海洋文化的风貌与特色,从而深化对秦汉历史的认识,也为考察中国古代海洋开发史进程及海洋学的历史发展提供学术基础。
三亚“双修”研究 电子书
本书收录了《大脚革命,建设美丽三亚——兼论三亚的城市“双修”实践》《三亚“双修”“双城”的认知》《浅析海绵城市建设与中国城市发展转型的关系——以三亚海绵城市建设为例》等文章,反映了三亚市在建设物质文明、精神文明和生态文明的思考,并率先提出“生态文明学”学科建设创意。
蔡甸区生态建设研究 电子书
本书主要包括:总论、区域概况、生态区创建SWOT分析、生态创建指标解析、生态足迹与生态承载力分析、生态功能区别等内容。
美国环境政策研究(3) 电子书
本书紧紧围绕时下中国生态环境管理中的焦点问题,对美国相应的综合性环境政策、空气污染治理政策、水污染治理政策、土壤污染治理政策进行分析和研究,旨在为我国打好污染防治攻坚战提供参考和借鉴。