many-sorted logic

listen to the pronunciation of many-sorted logic
English - English

Definition of many-sorted logic in English English dictionary

Related Terms

many-sorted logic
A logic that directly supports classification of entities into disjunct sorts
many-sorted logic
Favorites
More...
Clear