Observing the Truth: Diagrams, Sets and Free Rides

Gem Stapleton

Research output: Contribution to conferenceOther


There are many dierent notations that can de ne relationships between sets, some of which are diagrammatic and others symbolic. Even when a notation is selected, there are choices to be made between semantically equivalent, yet syntactically dierent, statements. Syntactic choices include variations in both abstract syntax and concrete syntax where graphical and topological properties can dier. Whilst it is clearly important to understand the relative bene ts of choices in all senses, the focus here is on the choice of notation and, within that, abstract syntax choices.
Original languageEnglish
Number of pages3
Publication statusPublished - 1 Jan 2016
EventInternational Workshop on Set Visualization and Reasoning - Philadelphia, 7 Aug 2016
Duration: 1 Jan 2016 → …


WorkshopInternational Workshop on Set Visualization and Reasoning
Period1/01/16 → …


Dive into the research topics of 'Observing the Truth: Diagrams, Sets and Free Rides'. Together they form a unique fingerprint.

Cite this