一般量化子理論
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/22 06:54 UTC 版)
古典論理学で用いられる∀(任意の)や∃(存在する)のような量化子の概念を拡張して、一般に名詞句表現を量化子と捉えることによって自然言語の意味を記述することを目指す。バーワイズとクーパーによる。
※この「一般量化子理論」の解説は、「形式意味論」の解説の一部です。
「一般量化子理論」を含む「形式意味論」の記事については、「形式意味論」の概要を参照ください。
- 一般量化子理論のページへのリンク