Definify.com
Definition 2024
many-sorted_logic
many-sorted logic
English
Noun
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)