other,3-1-P01-1047,bq improvements are possible . We provide a <term> logical definition </term> of <term> Minimalist grammars </term>
other,6-1-P01-1047,bq a <term> logical definition </term> of <term> Minimalist grammars </term> , that are <term> Stabler 's formalization
other,11-1-P01-1047,bq Minimalist grammars </term> , that are <term> Stabler 's formalization </term> of <term> Chomsky 's minimalist program
other,15-1-P01-1047,bq <term> Stabler 's formalization </term> of <term> Chomsky 's minimalist program </term> . Our <term> logical definition </term>
other,1-2-P01-1047,bq 's minimalist program </term> . Our <term> logical definition </term> leads to a neat relation to <term>
other,9-2-P01-1047,bq </term> leads to a neat relation to <term> categorial grammar </term> , ( yielding a treatment of <term>
other,17-2-P01-1047,bq </term> , ( yielding a treatment of <term> Montague semantics </term> ) , a <term> parsing-as-deduction </term>
tech,22-2-P01-1047,bq <term> Montague semantics </term> ) , a <term> parsing-as-deduction </term> in a <term> resource sensitive logic
other,25-2-P01-1047,bq <term> parsing-as-deduction </term> in a <term> resource sensitive logic </term> , and a <term> learning algorithm </term>
tech,31-2-P01-1047,bq resource sensitive logic </term> , and a <term> learning algorithm </term> from <term> structured data </term> (
other,34-2-P01-1047,bq <term> learning algorithm </term> from <term> structured data </term> ( based on a <term> typing-algorithm
tech,40-2-P01-1047,bq structured data </term> ( based on a <term> typing-algorithm </term> and <term> type-unification </term> )
tech,42-2-P01-1047,bq a <term> typing-algorithm </term> and <term> type-unification </term> ) . Here we emphasize the connection
other,6-3-P01-1047,bq Here we emphasize the connection to <term> Montague semantics </term> which can be viewed as a <term> formal
other,14-3-P01-1047,bq semantics </term> which can be viewed as a <term> formal computation </term> of the <term> logical form </term> . <term>
other,18-3-P01-1047,bq <term> formal computation </term> of the <term> logical form </term> . <term> Techniques for automatically
skrij podrobnosti