A normal form for spider diagrams of order

Aidan Delaney; Gem Stapleton; John Taylor; Simon Thompson

doi:10.1016/j.jvlc.2014.10.029

A normal form for spider diagrams of order

Aidan Delaney, Gem Stapleton, John Taylor, Simon Thompson

Research output: Contribution to journal › Article › peer-review

Abstract

We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We define 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 logics 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.

Original language	English
Pages (from-to)	935-944
Number of pages	10
Journal	Journal of Visual Languages and Computing
Volume	25
Issue number	6
DOIs	https://doi.org/10.1016/j.jvlc.2014.10.029
Publication status	Published - 31 Oct 2014

Keywords

Spider diagrams
Logic
Normal form
Euler diagrams

Access to Document

10.1016/j.jvlc.2014.10.029Licence: Unspecified

Cite this

@article{1810563bea8b430e90ae3d077514e22c,

title = "A normal form for spider diagrams of order",

abstract = "We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We define 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 logics 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.",

keywords = "Spider diagrams, Logic, Normal form, Euler diagrams",

author = "Aidan Delaney and Gem Stapleton and John Taylor and Simon Thompson",

year = "2014",

month = oct,

day = "31",

doi = "10.1016/j.jvlc.2014.10.029",

language = "English",

volume = "25",

pages = "935--944",

journal = "Journal of Visual Languages and Computing",

issn = "1045-926X",

number = "6",

}

TY - JOUR

T1 - A normal form for spider diagrams of order

AU - Delaney, Aidan

AU - Stapleton, Gem

AU - Taylor, John

AU - Thompson, Simon

PY - 2014/10/31

Y1 - 2014/10/31

N2 - We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We define 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 logics 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.

AB - We develop a reasoning system for an Euler diagram based visual logic, called spider diagrams of order. We define 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 logics 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.

KW - Spider diagrams

KW - Logic

KW - Normal form

KW - Euler diagrams

U2 - 10.1016/j.jvlc.2014.10.029

DO - 10.1016/j.jvlc.2014.10.029

M3 - Article

SN - 1045-926X

VL - 25

SP - 935

EP - 944

JO - Journal of Visual Languages and Computing

JF - Journal of Visual Languages and Computing

IS - 6

ER -

A normal form for spider diagrams of order

Abstract

Keywords

Access to Document

Fingerprint

Cite this