Formalising deductive coherence : an application to norm evaluation