跳转到主要内容

插值与可定义:模态逻辑与直觉逻辑

在线ISBN:
9780191705779
打印ISBN:
9780198511748
出版商:
牛津大学出版社

内插和定义:模态逻辑和直觉逻辑

Dov M.Gabbay公司,
Dov M.Gabbay公司
伦敦国王学院计算机科学系
在上查找
拉里萨·马克西莫娃
拉里萨·马克西莫娃
俄罗斯新西伯利亚俄罗斯科学院西伯利亚分院数学研究所
在上查找
出版:
2005年5月12日
在线ISBN:
9780191705779
打印ISBN:
9780198511748
出版商:
牛津大学出版社

摘要

这本书的重点是插值和可定义性。这个概念不仅是纯逻辑的核心,而且在逻辑本身应用的所有领域都具有重要的意义和适用性,特别是在计算机科学、人工智能、逻辑编程、科学哲学和自然语言中。这本书提供了关于逻辑中插值和可定义性的基本知识,并包含了许多论文中提出的材料的系统描述。从经典谓词逻辑(1953-57)中著名的Beth定理和Craig定理开始,到非经典逻辑(主要是直觉主义逻辑和模态逻辑)中最有价值的成果,提出了各种方法和结果。结合语义和证明理论方法,建立并利用了逻辑和泛代数之间的密切关系。

目录
关闭
此功能仅对订阅服务器可用

登录创建帐户

关闭

此PDF仅供订阅者使用

查看文章摘要和购买选项

要完全访问此pdf,请登录现有帐户或购买年度订阅。

关闭