Top Qs
Timeline
Chat
Perspective
many-sorted logic
From Wiktionary, the free dictionary
Remove ads
English
Noun
many-sorted logic (plural many-sorted logics)
- (logic) A logic that directly supports classification of entities into disjunct sorts.
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads