Searching for links to AristotelianLogic:
Aristotle