Noun
many-sorted logic (plural many-sorted logics) (logic) A logic that directly supports classification of entities into disjunct sorts.