many-sorted logic noun1 •A logic that directly supports classification of entities into disjunct sorts. formsmany-sorted logics
