many-sorted logic en · NOUN
Meanings
- A logic that directly supports classification of entities into disjunct sorts.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| many-sorted logics | Number=Plur | lexicographic |
Translations (2)
de Sortenlogik (Translations) · pl logika wielosortowa (Translations)