many-sorted logic
English
Noun
many-sorted logic (plural many-sorted logics)
- (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.