A crash course in arrow logic
A crash course in arrow logic
复制标题
箭头逻辑速成课程
DOI：
--
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
Y. Venema
中科院分区：
文献类型：
--
作者：
Y. Venema
概述这一贡献给出了一个简短的介绍箭头逻辑。我们首先解释箭头逻辑的基本思想和研究它的动机（第1和2节）。我们讨论了箭头逻辑和二元关系代数理论之间的一些基本对偶理论（第3节）。在第4节和第5节中，我们给出了一个简要的调查的理论，已经发展的语义（可定义性），公理和可判定性的各种系统的箭头逻辑。我们在第6节中简要描述了一些密切相关的形式主义和箭头逻辑的一些扩展和约简。最后，我们在第8节中提到了一些有前途的研究路线和开放的问题。
Overview This contribution gives a short introduction to arrow logic. We start by explaining the basic idea underlying arrow logic and the motivation for studying it (sections 1 and 2). We discuss some elementary duality theory between arrow logic and the algebraic theory of binary relations (section 3). In the sections 4 and 5 we give a brief survey of the theory that has been developed on the semantics (definability), axiomatics and decidability of various systems of arrow logic. We briefly describe some closely related formalisms and some extensions and reducts of arrow logic in section 6. We end with mentioning some promising research lines and open problems, in section 8.