many-sorted logic
noun
°A logic that directly supports classification of entities into disjunct sorts.