A lot of confusion between UDL and DI exists, especially on how they exactly relate to each
other. Consequently, a systematic review was conducted to identify all specific types of …

The use of diagrams in mathematics has traditionally been restricted to guiding intuition and
communication. With rare exceptions such as Peirce's alpha and beta systems, purely …

Euler diagrams visually represent containment, intersection and exclusion using closed
curves. They first appeared several hundred years ago, however, there has been a …

Euler diagrams have been used for centuries as a means for conveying ideas in an intuitive,
informal way. Recently much research has been conducted to develop formal, diagrammatic …

Diagrammatic reasoning has the potential to be important in numerous application areas.
This paper focuses on the simple, but widely used, Euler diagrams that form the basis of …

Spider diagrams are a visual language for expressing logical statements or constraints.
Several sound and complete spider diagram systems have been developed and it has been …

The main goal of this paper is to present the basis for a heterogeneous Euler/Venn diagram
and First Order Logic (FOL) reasoning system. We will begin by defining a homogeneous …

Visual languages are studied in many different disciplines including Formal Logic. Several
diagram methods have been proposed for the visual representation of the logical relations …

Precise visual modeling: A case-study Page 1 Softw Syst Model (2005) 4: 310–325 / Digital
Object Identifier (DOI) 10.1007/s10270-004-0074-x Precise visual modeling: A case-study …

Many diagrammatic logics based on Euler diagrams have been defined with the aim of
making precise reasoning easier for people. In such logics, it is unusual to find the negation …