Minimisation in Logical Form