Labelled deductive systems