The expressiveness of spider diagrams augmented with constants

STAPLETON, GEM, TAYLOR, JOHN, Thompson, Simon and HOWSE, JOHN (2009) The expressiveness of spider diagrams augmented with constants Journal of Visual Languages and Computing, 20 (1). pp. 91-98. ISSN 1045-926X

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

Download (162kB)

Abstract

Spider diagrams are a visual language for expressing logical statements or constraints. Several sound and complete spider diagram systems have been developed and it has been shown that they are equivalent in expressive power to monadic first order logic with equality. However, these sound and complete spider diagram systems do not contain syntactic elements analogous to constants in first order predicate logic. We extend the spider diagram language to include constant spiders which represent specific individuals. Formal semantics are given for the extended diagram language. We prove that this extended system is equivalent in expressive power to the language of spider diagrams without constants and, hence, equivalent to monadic first order logic with equality..

Item Type: Journal article
Uncontrolled Keywords: Diagrammatic logic; Visual formalism; Formal methods
Subjects: G000 Computing and Mathematical Sciences > G100 Mathematics
DOI (a stable link to the resource): 10.1016/j.jvlc.2008.01.005
Faculties: Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
Depositing User: Converis
Date Deposited: 26 Nov 2007
Last Modified: 21 May 2014 11:01
URI: http://eprints.brighton.ac.uk/id/eprint/2851

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year