What he didn’t

A Crash Course in Arrow Logic
Yde Venema

Department of Mathematics and
Computer Science

Free University
De Boelelaan 1081
1081 HV Amsterdam
e-mail: yde@cs.vu.nl

to appear in : M. Marx, L. Polos & M. Masuch (eds.),
Arrow Logic

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 (de