many-sorted logic

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

Definition von many-sorted logic im Englisch Englisch wörterbuch

many-sorted logic
A logic that directly supports classification of entities into disjunct sorts