Spider diagrams

Howse, John, Stapleton, Gem and Taylor, John (2005) Spider diagrams LMS Journal of Computation and Mathematics, 8. pp. 145-194. ISSN 1461-1570

[img] Text
Published_Paper.pdf - Published Version
Restricted to Registered users only

Download (500kB)


The use of diagrams in mathematics has traditionally been restricted to guiding intuition and communication. With rare exceptions such as Peirce's α and β systems, purely diagrammatic formal reasoning has not been in the mathematician's or logician's toolkit. This paper develops a purely diagrammatic reasoning system of ‘spiderdiagrams' that builds on Euler, Venn and Peirce diagrams.The system is known to be expressively equivalent to first-order monadic logic with equality. Two levels of diagrammatic syntax have been developed: an ‘abstract' syntax that captures the structure of diagrams,and a ‘concrete' syntax that captures topological properties of drawn diagrams. A number of simple diagrammatic transformation rules are given, and the resulting reasoning system is shown to be sound and complete.

Item Type: Journal article
Additional Information: © 2005 London Mathematical Society
Subjects: G000 Computing and Mathematical Sciences
DOI (a stable link to the resource): 10.1112/S1461157000000942
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 04 Feb 2011 11:11
Last Modified: 20 Apr 2015 15:54
URI: http://eprints.brighton.ac.uk/id/eprint/8159

Actions (login required)

View Item View Item


Downloads per month over past year