Categorical Logic: A subfield of logic concerned with categorizing propositions into different classes.
We are still working on this page. Come back again soon.