Abstract

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
... read more