Categorical Logic

A deductive system of logic first established by Aristotle, which studies the relations between categories of things.