many-sorted logic
many-sorted logic · many-sorted logics
Sortenlogik
A logic that directly supports classification of entities into disjunct sortsA logic that directly supports classification of entities into disjunct sorts.
Meaning
1 sensesA logic that directly supports classification of entities into disjunct sorts.
Sortenlogik
Translations
2 languagesDeutsch
By meaning 1
Translations:
Forms
plural: many-sorted logics| Singular | many-sorted logic |
|---|---|
| Plural | many-sorted logics |
regular