monadic second-order logic en · NOUN
Meanings
- (countable, uncountable) 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| monadic second-order logics | Number=Plur | lexicographic |
Translations (1)
pl monadyczna logika drugiego rzędu (first-order logic extended by quantification over unary predicates)