Labelled Non-Classical Logics