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