On the Visualization of Logic: A Diagrammatic Language Based on Spatial, Graphical and Symbolic Notations | IEEE Conference Publication | IEEE Xplore