many-sorted logic

English

Noun

many-sorted logic (plural many-sorted logics)

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