Skip to main content

PaL Diagrams: A Linear Diagram-Based Visual Language

Chapman, Peter, Stapleton, Gem, Rodgers, Peter (2014) PaL Diagrams: A Linear Diagram-Based Visual Language. Journal of Visual Languages and Computing, 25 (6). pp. 945-954. ISSN 1045-926X. (doi:10.1016/j.jvlc.2014.10.022)

PDF (Extended version for JVLC Journal) - Author's Accepted Manuscript
Download (407kB) Preview
[img]
Preview
PDF (DMS 2014 conference Version) - Author's Accepted Manuscript
Download (510kB) Preview
[img]
Preview
Official URL
http://dx.doi.org/10.1016/j.jvlc.2014.10.022

Abstract

Linear diagrams have recently been shown to be

for set-based reasoning. However, unlike the

of Euler and Venn diagrams, there has been no

knowledge gap, we present and formalise Point

linear diagrams containing points, thus providing

language.We prove that PaL diagrams are exactly

equality, gaining, as a corollary, an equivalence

diagrams. The method of proof provides translations

first-order logic.

Item Type: Article
DOI/Identification number: 10.1016/j.jvlc.2014.10.022
Additional information: First version was awarded best paper in VLC 2014. Extended for JVLC Journal
Uncontrolled keywords: Linear Diagrams, Set Visualization
Subjects: Q Science > QA Mathematics (inc Computing science)
Divisions: Faculties > Sciences > School of Computing > Computational Intelligence Group
Depositing User: Peter Rodgers
Date Deposited: 20 Oct 2014 09:36 UTC
Last Modified: 23 Jan 2020 04:08 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/43500 (The current URI for this page, for reference purposes)
Rodgers, Peter: https://orcid.org/0000-0002-4100-3596
  • Depositors only (login required):

Downloads

Downloads per month over past year