Carregant...
Fitxers
Tipus de document
ArticleVersió
Versió publicadaData de publicació
Llicència de publicació
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/136022
Compatibilitat en àlgebra, en lògica i en informàtica
Títol de la revista
Autors
Director/Tutor
ISSN de la revista
Títol del volum
Recurs relacionat
Resum
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.
Matèries
Matèries (anglès)
Citació
Citació
FONT LLOVET, Josep maria. Compatibilitat en àlgebra, en lògica i en informàtica. _Butlletí de la Societat Catalana de Matemàtiques_. 2007. Vol. 22, núm. 1, pàgs. 75-110. [consulta: 24 de gener de 2026]. ISSN: 0214-316X. [Disponible a: https://hdl.handle.net/2445/136022]