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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.