Abstract: Labelled Deduction over Algebras of Truth-Values João Rasga and Amílcar Sernadas and Cristina Sernadas and Luca Viganò We introduce a framework for presenting non-classical logics in amodular and uniform way as labelled natural deduction systems. The useof algebras of truth-values as the labelling algebras of our systemsallows us to give generalized systems for multiple-valued logics. Morespecifically, our framework generalizes previous work where labelsrepresent worlds in the underlying Kripke structure: since we can takemultiple-valued logics as meaning not only finitely or infinitelymany-valued logics but also power-set logics, our framework allows usto present also logics such as modal, intuitionistic and relevancelogics, thus providing a first step towards fibring these logics withmany-valued ones.