many-sorted logic

Noun

 * 1)  A logic that directly supports classification of entities into disjunct sorts.