This paper introduces the current view on the algebraic studies in Logic, especially in the domain of non-classical logics. The paper is organized around some pure algebraic concepts such as compatibility, Leibniz congruence, and the Leibniz operator. It is shown how these concepts allow to define a hierarchy of logics and to classify them according to their behaviour as far as their algebraization is concerned, that is, by the kind of relation they have with their algebraic models, and by the properties of these models. The paper ends with a brief survey of some of the most recent research lines in the context of the emerging field now called Abstract Algebraic Logic.

S'exposa una visió actual de l'estudi algebraic de la Lògica, especialment de les lògiques no clàssiques, prenent com a eix alguns conceptes purament algebraics com els de compatibilitat, congruència de Leibniz, i operador de Leibniz. Es mostra com aquests conceptes permeten definir una jerarquia de lògiques i classificar-les pel seu capteniment envers la seva algebrització, és a dir, per les relacions que mantenen amb els seus models algebraics, i per les propietats d'aquests models. Al final s'esmenten algunes de les línies de recerca més recents, en el context del camp emergent actualment anomenat Lògica Algebraica Abstracta.