Axioms for classical, intuitionistic, and paraconsistent hybrid logic
Axioms for classical, intuitionistic, and paraconsistent hybrid logic
复制标题
经典、直觉和次相一致混合逻辑的公理
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
T. Braüner
中科院分区：
文献类型：
--
作者：
T. Braüner
本文给出了经典和直觉混合逻辑的公理系统。我们的公理系统可以扩展与额外的规则对应的条件上的可达性关系所表示的所谓几何理论。在经典的情况下，其他公理化比我们可以在文献中找到，但在直观的情况下，没有公理化已出版。我们考虑普通的直觉混合逻辑以及混合版本的建设性和次协调逻辑N4。
In this paper we give axiom systems for classical and intuitionistic hybrid logic. Our axiom systems can be extended with additional rules corresponding to conditions on the accessibility relation expressed by so-called geometric theories. In the classical case other axiomatisations than ours can be found in the literature but in the intuitionistic case no axiomatisations have been published. We consider plain intuitionistic hybrid logic as well as a hybridized version of the constructive and paraconsistent logic N4.