Labelled Deduction over Algebras of Truth-Values