Compatibilitat en àlgebra, en lògica i en informàtica
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 je...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2007 |
| País: | España |
| Institución: | Universidad de Barcelona |
| Repositorio: | Dipòsit Digital de la UB |
| OAI Identifier: | oai:diposit.ub.edu:2445/136022 |
| Acceso en línea: | https://hdl.handle.net/2445/136022 |
| Access Level: | acceso abierto |
| Palabra clave: | Lògica matemàtica Lògica algebraica Mathematical logic Algebraic logic |
| Sumario: | 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. |
|---|