Non-Classical Diagrammatic Logics