Searching for links to AristotelianLogic:

• Aristotle