Levels of syntax for Euler diagram logics

John Howse, Peter Rodgers, Gem Stapleton

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

Euler diagrams have been used for centuries to convey logical information and have been formalized for this purpose. Related notations, such as Venn-II, Euler/Venn, spider diagrams, and constraint diagrams, have been developed and fully formalized as logics in their own right. Issues regarding their abstract (type) syntax and concrete (token) syntax have been discussed in the literature but there are more fine grained levels of syntax that have not, to the authors’ knowledge, been given serious consideration. We discuss different levels of Euler diagram syntax. These include the drawn level, where the images of the diagrams live, for example, on a computer screen, a piece of paper, or a whiteboard; mathematical models of the drawn diagrams; the dual graph of an Euler diagram; and the abstract level of syntax that captures the semantic information present in the diagram and forgets all geometric and topological properties that have no impact on the semantics.
Original languageEnglish
Title of host publicationHandbook of the World Congress and Summer School on Universal Logic
Place of PublicationBasel
PublisherBirkhäuser
Pages0-0
Number of pages1
ISBN (Print)9789729928925
Publication statusPublished - 1 Jan 2010
EventHandbook of the World Congress and Summer School on Universal Logic - Monte Estoril, Lisbon, Portugal, 18-25 April, 2010
Duration: 1 Jan 2010 → …

Conference

ConferenceHandbook of the World Congress and Summer School on Universal Logic
Period1/01/10 → …

Fingerprint Dive into the research topics of 'Levels of syntax for Euler diagram logics'. Together they form a unique fingerprint.

Cite this