School of Computing

Euler diagram-based notations

John Howse, Richard Bosworth, Andrew Fish, Gem Stapleton, John Taylor, Peter Rodgers, and Simon Thompson

Technical report, University of Brighton, School of Computing, Mathematical and Information Sciences, January 2006.

Abstract

Euler diagrams have been used for centuries as a means for conveying logical statements in a simple, intuitive way. They form the basis of many diagrammatic notations used to represent set-theoretic relationships in a wide range of contexts including software modelling, logical reasoning systems, statistical data representation, database search queries and file system management. In this paper we survey notations based on Euler diagrams with particular emphasis on formalization and the development of software tool support.

Download publication 442 kbytes (PDF)

Bibtex Record

@techreport{2972,
author = {John Howse and Richard Bosworth and Andrew Fish and Gem Stapleton and John Taylor and Peter Rodgers and Simon Thompson},
title = {{Euler diagram-based notations}},
month = {January},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2972},
    publication_type = {techreport},
    submission_id = {13420_1263123923},
    institution = {University of Brighton, School of Computing, Mathematical and Information Sciences},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014