HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › many-sorted logic
← Back to search

Meaning of many-sorted logic | Babel Free

Noun CEFR B2

Definitions

A logic that directly supports classification of entities into disjunct sorts.

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Many-times many-valued logic Many-voiced many-worlds interpretation Manya Manyagao

Learn this word in context

See many-sorted logic used in real conversations inside our free language course.

Start Free Course