插值与可定义:模态逻辑与直觉逻辑
内插和定义:模态逻辑和直觉逻辑
摘要
-
前部物质 -
1 介绍和讨论 D.M.加巴伊 和 马克西莫娃 -
2 模态逻辑与超直觉逻辑:基本概念 D.M.加巴伊 和 L.马克西莫娃 -
三 超直觉逻辑与模态逻辑S4的正规扩张 D.M.加巴伊 和 马克西莫娃 -
4 直觉预测计算中的插值定理 D.M.加巴伊 和 马克西莫娃 -
5 量化逻辑中的插值与可定义性 D.M.加巴伊 和 马克西莫娃 -
6 超直觉逻辑中的CRAIG定理与伪布尔代数的代数变种 D.M.加巴伊 和 马克西莫娃 -
7 插值、可定义性、模糊性 D.M.加巴伊 和 马克西莫娃 -
8 模态逻辑S4的正规扩展中的插值 D.M.加巴伊 和 马克西莫娃 -
9 模态与直觉计算中若干问题的复杂性 D.M.加巴伊 和 马克西莫娃 -
10 包含逻辑K4的模态无限切片逻辑的插值 D.M.加巴伊 和 L.马克西莫娃 -
11 贝思定理在模态逻辑K4正规扩展中的类比 D.M.加巴伊 和 马克西莫娃 -
12 可证明逻辑的扩展 D.M.加巴伊 和 马克西莫娃 -
13 直觉预测逻辑插值的句法证明 D.M.加巴伊 和 马克西莫娃 -
14 翻译法插补 D.M.加巴伊 和 马克西莫娃 -
15 (直觉)逻辑程序设计中的插值 D.M.加贝 和 马克西莫娃 -
16 目标定向证明系统中的插值 D.M.加巴伊 和 马克西莫娃 -
17 进一步结果和讨论 D.M.加巴伊 和 马克西莫娃 -
最终事项
登录
获取访问帮助
机构准入
基于IP的访问
通过您的机构登录
单击通过您的机构登录。 从提供的列表中选择您的机构,这会将您带到机构的网站进行登录。 在机构网站上时,请使用您的机构提供的凭据。 不要使用牛津学院的个人账户。 成功登录后,您将返回牛津学院。
使用图书卡登录
协会成员
通过社交网站登录
单击通过社交网站登录。 在社团网站上时,请使用该社团提供的证书。 不要使用牛津学院的个人账户。 成功登录后,您将返回牛津学院。
使用个人帐户登录
个人账户
查看您的登录帐户
查看您已登录的个人帐户并访问帐户管理功能。 查看提供访问权限的机构帐户。