A normal form for spider diagrams of order

Aidan Delaney, Gem Stapleton, John Taylor, Simon Thompson

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)935-944
Number of pages10
JournalJournal of Visual Languages and Computing
Volume25
Issue number6
DOIs
Publication statusPublished - 1 Dec 2014

Keywords

  • Spider diagrams
  • Logic
  • Normal form
  • Euler diagrams

Fingerprint Dive into the research topics of 'A normal form for spider diagrams of order'. Together they form a unique fingerprint.

  • Cite this