monadic second-order logic

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Noun

[edit]

monadic second-order logic (countable and uncountable, plural monadic second-order logics)

  1. (logic) 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.

Translations

[edit]