A new language for the visualisation of logic and reasoning

Stapleton, Gem, Thompson, Simon, Fish, Andrew, Howse, John and Taylor, John (2005) A new language for the visualisation of logic and reasoning In: Proceedings of the 2005 International Workshop on Visual Languages and Computing, Banff, Alberta, Canada, 5-7 September, 2005.

Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (134kB) | Preview


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.

Item Type: Contribution to conference proceedings in the public domain ( Full Paper)
Additional Information: Creative Commons Attribution-Noncommercial-Share Alike 3.0 License. Published as a part of the Proceedings of the Eleventh International Conference on Distributed Multimedia Systems.
Uncontrolled Keywords: Visual languages; Euler diagrams
Subjects: G000 Computing and Mathematical Sciences
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 24 Nov 2007
Last Modified: 14 Apr 2015 13:08
URI: http://eprints.brighton.ac.uk/id/eprint/2852

Actions (login required)

View Item View Item


Downloads per month over past year