Minimal negation and Hereditary Harrop formulae