Diagrammatic Logic

Abstract

The many diagrammatic systems in use include Euler circles, Venn diagrams, state diagrams, control-flow diagrams, line graphs, circuit diagrams, category-theory diagrams, Hasse diagrams, and geometry diagrams. A diagrammatic logic seeks to describe the syntax, semantics, proof theory, etc., of some such diagrammatic system.