other,17-2-P01-1047,bq | </term> , ( yielding a treatment of <term> | Montague semantics | </term> ) , a <term> parsing-as-deduction </term> | #1963 Our logical definition leads to a neat relation to categorial grammar, (yielding a treatment of Montague semantics ), a parsing-as-deduction in a resource sensitive logic, and a learning algorithm from structured data (based on a typing-algorithm and type-unification). |
other,6-3-P01-1047,bq | Here we emphasize the connection to <term> | Montague semantics | </term> which can be viewed as a <term> formal | #1997 Here we emphasize the connection to Montague semantics which can be viewed as a formal computation of the logical form. |