Logical Form: From GB to Minimalism