Location of Repository

Reasoning with constraint diagrams: summary of PhD thesis

By Gem Stapleton


Constraint diagrams are designed for the formal specification of software systems. However, their applications are broader than this since constraint diagrams are a logic that can be used in any formal setting. This document \ud summarizes the main results presented in my PhD thesis, the focus of which is on a fragment of the constraint diagram language, called spider diagrams, and constraint diagrams themselves. In the thesis, sound and complete \ud systems of spider diagrams and constraint diagrams are presented and the expressiveness of the spider diagram language is established

Topics: G100 Mathematics
Publisher: University of Brighton
Year: 2004
OAI identifier: oai:eprints.brighton.ac.uk:3276

Suggested articles



  1. (2004). Automated theorem proving with spider diagrams.
  2. (1997). Constraint diagrams: Visualizing invariants in object oriented modelling.
  3. (1998). Euler’s visual logic. History and Philosophy of Logic,
  4. (1999). Formalising spider diagrams.
  5. (2004). Generating proofs with spider diagrams using heuristics.
  6. (2004). Generating readable proofs: A heuristic approach to theorem proving with spider diagrams.
  7. (1995). Logic and Visual Information.
  8. (2002). On diagram tokens and types.
  9. (2004). On extending Venn diagrams by augmenting names of individuals.
  10. (2000). On the completeness and expressiveness of spider diagram systems.
  11. (2001). Reasoning with extended Venn-Peirce diagrammatic systems.
  12. (2004). Reasoning with projected contours.
  13. Reasoning with spider diagrams.
  14. (2000). SD2: A sound and complete diagrammatic reasoning system.
  15. (2001). Spider diagrams: A diagrammatic reasoning system.
  16. (2005). Tableaux for diagrammatic reasoning.
  17. (1997). The Classical Decision Problem.
  18. (1979). The Decision Problem. Solvable Classes of Quantificational Formulas.
  19. (1998). The information content of Euler/Venn diagrams.
  20. (1994). The Logical Status of Diagrams.
  21. (2005). The semantics of augmented constraint diagrams.
  22. (2004). Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference.
  23. (1999). Visualization of formal specifications.

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