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

Delfina Malandrino, Alfonso Guarino, Nicola Lettieri, Rocco Zaccagnino

Browse the full IV paper archive.