HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › monadic second-order logic
← Back to search

Meaning of monadic second-order logic | Babel Free

Noun CEFR C1

Definitions

A formal deductive system which extends first-order logic by the ability to quantify over unary predicates over individual members of the universe of discourse.

countable, uncountable

CEFR level

C1
Advanced
This word is part of the CEFR C1 vocabulary — advanced level.
See all C1 English words →

See also

monadicity monadism monadist monadnock monadology monadoxanthin

Learn this word in context

See monadic second-order logic used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free