哲学动态
哲學動態
철학동태
Philosophical Trends
2011年
2期
98~101
,共null页
逻辑语法 逻辑语义学 主义 词汇 范畴语法 语义组合 句法 演算
邏輯語法 邏輯語義學 主義 詞彙 範疇語法 語義組閤 句法 縯算
라집어법 라집어의학 주의 사회 범주어법 어의조합 구법 연산
类型逻辑语法（Type Logical Grammar）是经典范畴语法（Basic Categorial Grammar）的一个现代版本，是范畴语法与类型逻辑语义学联姻的产物。利用加贝（D．Gabbay）[1]给出的加标演绎表述，类型逻辑语法实现了句法生成和语义组合的并行推演，句法生成基于Lambek演算提供的范畴运算，而语义组合则依据代表语义的入一演算进行。
類型邏輯語法（Type Logical Grammar）是經典範疇語法（Basic Categorial Grammar）的一箇現代版本，是範疇語法與類型邏輯語義學聯姻的產物。利用加貝（D．Gabbay）[1]給齣的加標縯繹錶述，類型邏輯語法實現瞭句法生成和語義組閤的併行推縯，句法生成基于Lambek縯算提供的範疇運算，而語義組閤則依據代錶語義的入一縯算進行。
류형라집어법（Type Logical Grammar）시경전범주어법（Basic Categorial Grammar）적일개현대판본，시범주어법여류형라집어의학련인적산물。이용가패（D．Gabbay）[1]급출적가표연역표술，류형라집어법실현료구법생성화어의조합적병행추연，구법생성기우Lambek연산제공적범주운산，이어의조합칙의거대표어의적입일연산진행。
