Skip to main content
Article thumbnail
Location of Repository

What can spider diagrams say?

By Gem Stapleton, John Howse, John Taylor and Simon Thompson


Spider diagrams are a visual notation for expressing logical statements. In this paper we identify a well known fragment of first order predicate logic, that we call ESD, equivalent in expressive power to the spider diagram language. The language ESD is monadic and includes equality but has no constants or function symbols. To show this equivalence, in one direction, for each diagram we construct a sentence in ESD that expresses the same information. For the more challenging converse we show there exists a finite set of models for a sentence S that can be used to classify all the models for S. Using these classifying models we show that there is a diagram expressing the same information as S

Topics: G400 Computing
Publisher: Springer
Year: 2004
DOI identifier: 10.1007/978-3-540-25931-2_12
OAI identifier:

Suggested articles


  1. (2002). A case study of the design and implementation of heterogeneous reasoning systems. doi
  2. (2003). A constraint diagram reasoning system.
  3. (2003). A reading algorithm for constraint diagrams. doi
  4. (1997). Constraint diagrams: Visualising invariants in object oriented models. doi
  5. Lettres a une princesse d’allemagne, doi
  6. (2002). On diagram tokens and types. doi
  7. On the diagrammatic and mechanical representation of propositions and reasonings. The London, Edinburugh and Dublin Philosophical Magazine and doi
  8. (2001). Reasoning with extended Venn-Peirce diagrammatic systems.
  9. (2001). Spider diagrams: A diagrammatic reasoning system. doi
  10. (2003). Spider diagrams. In available from,
  11. (1979). The Decision Problem. Solvable Classes of Quantificational Formulas. doi
  12. (1994). The Logical Status of Diagrams. doi
  13. (2002). Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of interence. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.