other,1-2-P01-1047,ak | 's minimalist program </term> . Our <term> | logical definition | </term> leads to a neat relation to <term> | #1948 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,3-1-P01-1047,ak | improvements are possible . We provide a <term> | logical definition | </term> of <term> Minimalist grammars </term> | #1930 We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky's minimalist program. |