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)