many-sorted logic

Submitted by György Chityil ... on Fri, 01/19/2018 - 23:31
Hierarchy: 
Noun
Description: 
{{logic}} A logic that directly supports classification of entities into disjunct sorts.
Ngram: 
many-sorted logic
Ngram Text: 
many-sorted logic
Source: 
Wiktionary
Issue: 
0
Wiktionary tag: 
logic
Ngram Count: 
2