other,25-2-P01-1047,bq | <term> parsing-as-deduction </term> in a <term> | resource sensitive logic | </term> , and a <term> learning algorithm </term> | #1971 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). |