Font Llovet, Josep Maria2019-06-282019-06-2820070214-316Xhttps://hdl.handle.net/2445/136022S'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.36 p.application/pdfcatcc-by-nc-nd (c) Font Llovet, Josep Maria, 2007http://creativecommons.org/licenses/by-nc-nd/3.0/esLògica matemàticaLògica algebraicaMathematical logicAlgebraic logicCompatibilitat en àlgebra, en lògica i en informàticainfo:eu-repo/semantics/article5553972019-06-28info:eu-repo/semantics/openAccess