Diagrammatic Inference for Ancient Logic: Formalising Aristotle's Topics via Graph Transformations.

Jos David Garca Cruz

Browse the full DIAGRAMS paper archive.