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

Your history [x]

  1. many-sorted logic