# name
Compatibilitat en àlgebra, en lògica i en informàtica

# metadata.dc.description.abstract[].value
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.

# metadata.dc.relation.ispartof[].value
Butlletí de la Societat Catalana de Matemàtiques, 2007, vol. 22, num. 1, p. 75-110

# metadata.dc.rights[].value
cc-by-nc-nd (c) Font Llovet, Josep Maria, 2007

# metadata.dc.source[].value
Articles publicats en revistes (Matemàtiques i Informàtica)

# metadata.dc.title[].value
Compatibilitat en àlgebra, en lògica i en informàtica