Word info

many-sorted logic

Noun

Meaning

many-sorted logic (plural many-sorted logics)

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

Source: en.wiktionary.org

Close letter words and terms