出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/22 06:54 UTC 版)「形式意味論」の記事における「動的意味論」の解説言語情報が背景情報と組み合わされることで...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/13 22:25 UTC 版)「Communicating Sequential Processes」の記事における「...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/22 06:54 UTC 版)「形式意味論」の記事における「状況意味論」の解説言語が文脈に依存することを中心に据えた理...

読み方：もんたぎゅー［1930〜1971］米国の数学者・論理学者。記号論理学を自然言語の意味論へ応用、モンタギュー文法を構築して形式意味論の創始者となった。

読み方：もんたぎゅー［1930〜1971］米国の数学者・論理学者。記号論理学を自然言語の意味論へ応用、モンタギュー文法を構築して形式意味論の創始者となった。

読み方：もんたぎゅー［1930〜1971］米国の数学者・論理学者。記号論理学を自然言語の意味論へ応用、モンタギュー文法を構築して形式意味論の創始者となった。

読み方：もんたぎゅー［1930〜1971］米国の数学者・論理学者。記号論理学を自然言語の意味論へ応用、モンタギュー文法を構築して形式意味論の創始者となった。

読み方：もんたぎゅー［1930〜1971］米国の数学者・論理学者。記号論理学を自然言語の意味論へ応用、モンタギュー文法を構築して形式意味論の創始者となった。

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/22 06:54 UTC 版)「形式意味論」の記事における「一般量化子理論」の解説古典論理学で用いられる∀（任意の）や...

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/22 06:54 UTC 版)「形式意味論」の記事における「談話表示理論」の解説談話構造という中間的な表示を与え、文が...