other,15-1-P01-1047,ak | Stabler 's formalization </term> of <term> | Chomsky 's minimalist program | </term> . Our <term> logical definition </term> | #1942 We provide a logical definition of Minimalist grammars, that are Stabler's formalization of Chomsky 's minimalist program . |