On the Visualization of Logic: A Diagrammatic Language Based on Spatial, Graphical and Symbolic Notations

Delfina Malandrino, Alfonso Guarino, Nicola Lettieri, Rocco Zaccagnino. On the Visualization of Logic: A Diagrammatic Language Based on Spatial, Graphical and Symbolic Notations. In Ebad Banissi, Anna Ursyn, Mark W. McK. Bannatyne, Nuno Datia, Rita Francese, Muhammad Sarfraz 0001, Theodor G. Wyeld, Fatma Bouali, Gilles Venturini, Hanane Azzag, Mustapha Lebbah, Marjan Trutschl, Urska Cvek, Heimo Müller, Minoru Nakayama, Sebastian Kernbach, Loredana Caruccio, Michele Risi, Ugo Erra, Autilia Vitiello, Veronica Rossano, editors, 23rd International Conference on Information Visualisation, IV 2019, Paris, France, July 2-5, 2019, Part I. pages 7-12, IEEE, 2019. [doi]

Abstract

Abstract is missing.