many-sorted logic
Jump to navigation
Jump to search
English
[edit]
Noun
[edit]many-sorted logic (plural many-sorted logics)
- (logic) A logic that directly supports classification of entities into disjunct sorts.
many-sorted logic (plural many-sorted logics)