#1930We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky's minimalist program.
other,1-2-P01-1047,ak
's minimalist program
</term>
. Our
<term>
logical definition
</term>
leads to a neat relation to
<term>
#1948Our 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,9-2-P01-1047,ak
</term>
leads to a neat relation to
<term>
categorial grammar
</term>
, ( yielding a treatment of
<term>
#1956Our 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).