Special issue on Euler and Venn Diagrams: Guest Editors' introduction

摘要

Euler and Venn diagrams have been widely studied over recent years and their role in logical reasoning and information visualization is now prominent. Venn diagrams form the basis of what is widely regarded to be the first sound and complete diagrammatic logic, developed by Sun-Joo Shin in the 1990s. Since then, substantial research has been conducted on Euler and Venn diagrams, spanning logic, cognitive science and philosophy. The papers selected for this special issue encompass all these themes, bringing together a valuable collection of papers for researchers working in this area. This special issue contains five papers, selected after an open call for papers. The submitted papers were typically reviewed by three anonymous reviewers with the top ranked papers that best fitted the theme of the special issue being accepted. The topics of the accepted papers cover the historical development of Venn diagrams, algorithms for the automated layout of Euler diagrams, an empirical study to analyse the way diagrams support reasoning tasks, a logic for reasoning with Venn diagrams using their Boolean interpretation, and automated theorem proving with an (Euler-based) spider diagram system. We are delighted the papers included in the special issue represent important and complementary contributions within a broad and interdisciplinary scope.