SYLLOGISM: Online program for Aristotelian Logic
SYLLOGISM: This site allows online experimentation with Aristotelian term logic, especially syllogistic reasoning. All the rules of Aristotelian logic have been implemented.Thus automatic proofs are possible. There is also a construction of semantic models of Aristotelian logic.
http://aristotelianlogic.glashoff.net