Intuitionistic hybrid logic
Intuitionistic hybrid logic
复制标题
直观的混合逻辑
DOI：
10.1007/978-94-007-0002-4_8
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Valeria C V de Paiva
中科院分区：
文献类型：
--
作者：
T. Braüner;Valeria C V de Paiva
在这一章中，我们介绍了直觉混合逻辑及其证明理论。直觉混合逻辑是建立在直觉逻辑基础上的混合模态逻辑，而不是经典逻辑基础。本章的结构如下。在本章的第一节中，我们介绍了直觉混合逻辑(取自Brauner和De Paiva(2006))。在第二节中，我们介绍了直觉混合逻辑的自然演绎系统(取自Brauner和de Paiva(2006))，在第三和第四节中，我们介绍了直觉混合逻辑和次协调混合逻辑的公理系统(取自Brauner和de Paiva(2006))。在最后一节中，我们讨论了某些其他工作，即对直觉混合逻辑的Curry-Howard解释。
In this chapter we introduce intuitionistic hybrid logic and its proof-theory. Intuitionistic hybrid logic is hybrid modal logic over an intuitionistic logic basis instead of a classical logical basis. The chapter is structured as follows. In the first section of the chapter we introduce intuitionistic hybrid logic (this is taken from Brauner and de Paiva (2006)). In the second section we introduce a natural deduction system for intuitionistic hybrid logic (taken from Brauner and de Paiva (2006)) and in the third and fourth sections we introduce axiom systems for intuitionistic and paraconsistent hybrid logic (taken from Brauner and de Paiva (2006)). In the last section we discuss certain other work, namely a Curry-Howard interpretation of intuitionistic hybrid logic.