|
|
Definition of Many-sorted logic
1. Noun. (logic) A logic that directly supports classification of entities into disjunct sorts. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Many-sorted Logic
Other Resources:
|
|
1. Noun. (logic) A logic that directly supports classification of entities into disjunct sorts. ¹
¹ Source: wiktionary.com