Skip to main content

A Normal Form for Spider Diagrams of Order

Thompson, Simon, Delaney, Aidan, Stapleton, Gem, Taylor, John (2014) A Normal Form for Spider Diagrams of Order. Journal of Visual Languages & Computing, . (KAR id:42350)

PDF Publisher pdf
Language: English
Download (407kB) Preview
[thumbnail of JVLCpaper.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL
http://www.sciencedirect.com/science/article/pii/S...

Abstract

We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We de- fine a normal form for spider diagrams of order and provide an algorithm, based on the reasoning system, for producing diagrams in our normal form. Normal forms for visual log- ics have been shown to assist in proving completeness of associated reasoning systems. We wish to use the reasoning system to allow future direct comparison of spider diagrams of order and linear temporal logic.

Item Type: Article
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 9 Formal systems, logics
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: S. Thompson
Date Deposited: 16 Aug 2014 14:45 UTC
Last Modified: 16 Feb 2021 12:54 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/42350 (The current URI for this page, for reference purposes)
Thompson, Simon: https://orcid.org/0000-0002-2350-301X
  • Depositors only (login required):