Skip to main content
Article thumbnail
Location of Repository

A new language for the visualisation of logic and reasoning

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

Abstract

Many visual languages based on Euler diagrams have emerged for expressing relationships between sets. The expressive power of these languages varies, but the majority can only express statements involving unary relations and, sometimes, equality. We present a new visual language called Visual First Order Logic (VFOL) that was developed from work on constraint diagrams which are designed for software specification. VFOL is likely to be useful for software specification, because it is similar to constraint diagrams, and may also fit into a Z-like framework. We show that for every First Order Predicate Logic (FOPL) formula there exists a semantically equivalent VFOL diagram. The taranslation we give from FOPL to VFOL is natural and, as such, VFOL could also be used to teach FOPL, for example

Topics: G000 Computing and Mathematical Sciences
Publisher: Knowledge Systems Institute
Year: 2005
OAI identifier: oai:eprints.brighton.ac.uk:2852

Suggested articles

Citations

  1. (2003). A constraint diagram reasoning system.
  2. (1997). Constraint diagrams: Visualizing invariants in object oriented modelling. doi
  3. (1996). Diagrams and the concept of logical system.
  4. (2004). Investigating reasoning with constraint diagrams. doi
  5. (1995). Logic and Visual Information. doi
  6. (1998). Logic for Mathematics and Computer Science.
  7. (2004). On extending Venn diagrams by augmenting names of individuals. doi
  8. (2005). Precise visual modelling. doi
  9. (2001). Spider diagrams: A diagrammatic reasoning system. doi
  10. (1994). The Logical Status of Diagrams. doi
  11. (2005). The semantics of augmented constraint diagrams. doi
  12. (2004). Using DAG transformations to verify Euler/Venn homogeneous and Euler/Venn FOL heterogeneous rules of inference. doi
  13. (1999). Visualization of formal specifications. doi

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