English Dictionary

monadic second-order logic

名詞

可算名詞 不可算名詞

(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.

日本語の意味

個体集合の各要素に対して、1引数の述語（単項述語）に対する量化を可能にすることで、第一階述語論理を拡張した形式的な推論体系

Researchers often use monadic second-order logic, a formal deductive system that extends first-order logic by enabling quantification over unary predicates, to express graph properties that are inexpressible in first-order logic.

研究者はしばしば、一階述語論理を拡張して個体の一項述語に対する量化を可能にする形式的推論体系（単項二階述語論理）を用いて、一階述語論理では表現できないグラフの性質を記述する。

意味（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.

monadic second-order logics （ plural ）