Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems

Antonielly Garcia Rodrigues, Eduardo Mario Dias

Gottfried Leibniz embarked on a research program to prove all the Aristotelic categorical syllogisms by diagrammatic and algebraic methods. He succeeded in proving them by means of…