Aristotelian logic as system of natural deductionCorcoran, John. 1972. "Completeness of an Ancient Logic". Journal of Symbolic Logic 37: 696-705.
Corcoran, J. "A Mathematical Model of Aristotle's Syllogistic." AGP 55 (1973) 191-219.
Corcoran, J. "Aristotle's Natural Deduction System." in Corcoran, J., Ancient Logic and its Modern Interpretations (Dordrecht: 1974) 85-131.
Corcoran, J. "Aristotelian Syllogisms: Valid Arguments or True Universalized Conditionals?" Mind 83 (1974) 278-281.
Corcoran, J. "The Founding of Logic." AP 14 (1994) 9-24.
Smiley, T.J. "What is a Syllogism?" J. Phil. Logic 2 (1973) 136-174.
Smiley, T.J. "Aristotle's Completeness Proof." AP 14 (1994) 25-38.
Martin, John N. "Aristotle's Natural Deduction Reconsidered." History and Philosophy of Logic, 18 (1997), 1-15
Boger, G. "Completion, Reduction and Analysis: Three Proof-theoretic Processes in Aristotle's Prior Analytics." History and Philosophy of Logic 19, 187-226, (1998)
Classical texts on the formalisation of Aristotelian logicLukasiewicz, Jan "Aristotle's syllogistic." 2nd edn., Oxford: Claendon Press (1957)
REMARK: This is the first formal theory which considers Aristotelian Logic as a formal system of its own - not just as a special case of class- or predicate logic. Lukasiewicz uses the axioms of propositional logic in his exposition which has been cut up by later scholars like Smiley and Corcoran.
v. Freytag-Löringhoff, Bruno Baron v., "Logik I. Das System der reinen Logik und ihr Verhältnis zur Logistik." Kohlhammer, 5. Auflage, Stuttgart 1972
REMARK: Freytag-Löringhoff's booklet (First edition 1955) is concerned with term logic and its intensional interpretations. It presents a semi-formal theory of Aristotelian logic in the tradition of Leibniz, Kant, Lotze, Sigwart, and Günther Jacoby.
Further texts on formal Aristotelian logicPatzig, G. "Aristotle's theory of the Syllogism." Dordrecht: Reidel (1968)
Thom, Paul. "The Syllogism", Philosophiy Verlag, Munich (1981)
Brillowski, C. "Grundlagen offener Systeme." Frankfurt/M.: Peter Lang (1993)
External LinksStanford Encyclopedia of Philosophy
S.M. Cohen's Introduction into Aristotle's logic [PDF]
Robin Smith's home page
The theoretical background for the computational methods of this site:
Klaus Glashoff: Aristotelian Logic from a Computational-Combinatorial Point of view [PDF]