Completeness Proofs for Diagrammatic Logics.

Jim Burton, Gem Stapleton, John Howse

Browse the full DIAGRAMS paper archive.