An Experimental Comparison of Diagrammatic and Algebraic Logics.

Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik

Browse the full DIAGRAMS paper archive.