Lógica algebraica 📖 Wikipedia

La lógica algebraica es un área de la lógica matemática que estudia los sistemas lógicos mediante métodos y estructuras algebraicas. En un sentido clásico, la lógica algebraica analiza la lógica mediante ecuaciones, operaciones, relaciones, retículos y álgebras asociadas a sistemas deductivos. En un sentido contemporáneo más amplio, incluye tanto el estudio de clases particulares de álgebras vinculadas a lógicas específicas —como las álgebras booleanas, las álgebras de Heyting, las álgebras de relaciones, las álgebras cilíndricas, las álgebras poliadicas, las álgebras modales y las álgebras-MV— como la investigación general de los procesos mediante los cuales una lógica puede ser algebraizada.^[1]​^[2]​

En la lógica algebraica clásica, el interés se concentra en identificar y describir algebráicamente los modelos adecuados para estudiar distintas lógicas. En la lógica algebraica abstracta, en cambio, el objeto principal es el proceso mismo de algebraización, i.e. qué significa que una lógica tenga una semántica algebraica natural, qué clase de álgebras constituye su contraparte algebraica y cómo se relacionan las propiedades metalógicas del sistema con propiedades algebraicas de dicha clase.^[1]​

Históricamente, la lógica algebraica nació en el siglo XIX con los trabajos de George Boole, Augustus De Morgan, Charles Sanders Peirce y Ernst Schröder. Estos autores tomaron la equivalencia lógica, la inclusión de clases y las relaciones como objetos susceptibles de tratamiento algebraico. En contraste, la tradición de Gottlob Frege, Bertrand Russell y Alfred North Whitehead centró la lógica en la aserción, la inferencia, la verdad lógica y la cuantificación. La conexión precisa entre ambas perspectivas fue formulada posteriormente mediante el método de Lindenbaum-Tarski, que asocia a un sistema lógico una estructura algebraica obtenida al identificar entre sí las fórmulas lógicamente equivalentes.^[3]​

La lógica algebraica puede describirse como el estudio de la lógica mediante estructuras algebraicas y ecuaciones. En vez de tratar una lógica únicamente como un cálculo de fórmulas, reglas y demostraciones, la lógica algebraica asocia a sus fórmulas una estructura en la que los conectivos se interpretan como operaciones y las relaciones de equivalencia, consecuencia o deducibilidad se traducen en congruencias, filtros, ideales, matrices o clases de álgebras.^[1]​^[2]​

En una presentación algebraica típica:

• las variables se consideran tácitamente cuantificadas universalmente sobre un universo de discurso;
• los términos se construyen a partir de variables mediante operaciones primitivas o definidas;
• las fórmulas pueden identificarse si son equivalentes respecto del sistema lógico;
• las tautologías o teoremas pueden representarse algebraicamente como elementos distinguidos (e.g. el elemento superior de un álgebra booleana);
• las reglas de inferencia pueden estudiarse como propiedades de filtros, congruencias, homomorfismos o clases de modelos.^[2]​

Una idea central es que las fórmulas de un lenguaje pueden verse como términos de un álgebra absolutamente libre. Los conectivos lógicos son entonces símbolos de operación, y las sustituciones corresponden a endomorfismos del álgebra de fórmulas. Si una relación de equivalencia lógica es una congruencia, se puede tomar el cociente del álgebra de fórmulas por dicha congruencia y obtener una estructura algebraica característica del sistema.^[1]​

Una de las formas clásicas de lógica algebraica es el cálculo de relaciones. Una relación binaria homogénea sobre un conjunto ${\displaystyle X}$ es un subconjunto de ${\displaystyle X\times X}$. Una relación binaria heterogénea entre dos conjuntos ${\displaystyle X}$ e ${\displaystyle Y}$ es un subconjunto de ${\displaystyle X\times Y}$. Dado que una relación puede ser verdadera o falsa para cada par ordenado, las relaciones pueden estudiarse mediante operaciones booleanas.^[4]​

Las operaciones básicas del cálculo de relaciones son:

Operación	Notación habitual	Interpretación
Unión	${\displaystyle R\cup S}$	pares que pertenecen a ${\displaystyle R}$ o a ${\displaystyle S}$
Intersección	${\displaystyle R\cap S}$	pares que pertenecen simultáneamente a ${\displaystyle R}$ y a ${\displaystyle S}$
Complemento	${\displaystyle {\bar {R}}}$	pares del universo que no pertenecen a ${\displaystyle R}$
Conversión o relación conversa	${\displaystyle R^{T}}$	relación que invierte el orden de los pares: ${\displaystyle yR^{T}x}$ si y solo si ${\displaystyle xRy}$
Composición relativa	${\displaystyle R;S}$ o ${\displaystyle RS}$	${\displaystyle x(R;S)z}$ si existe ${\displaystyle y}$ tal que ${\displaystyle xRy}$ y ${\displaystyle ySz}$
Relación identidad	${\displaystyle I}$	pares ${\displaystyle (x,x)}$ del universo

Estas operaciones permiten estudiar relaciones mediante una aritmética booleana de matrices. Si una relación se representa por una matriz lógica, su relación conversa corresponde a la matriz transpuesta, y la composición de relaciones corresponde a una multiplicación matricial en la que la suma y el producto se interpretan de manera booleana.^[5]​^[6]​

A modo de ejemplo, considérese la erotética (o teoría lógica de las preguntas). En un universo de enunciados, puede distinguirse entre afirmaciones ${\displaystyle S}$ y preguntas ${\displaystyle Q}$. Se pueden definir dos relaciones de ${\displaystyle Q}$ a ${\displaystyle S}$:

• ${\displaystyle q\alpha a}$, cuando ${\displaystyle a}$ es una respuesta directa a la pregunta ${\displaystyle q}$;
• ${\displaystyle q\pi p}$, cuando ${\displaystyle p}$ es una presuposición de la pregunta ${\displaystyle q}$.

La relación conversa ${\displaystyle \pi ^{T}}$ va de ${\displaystyle S}$ a ${\displaystyle Q}$. La composición ${\displaystyle \pi ^{T}\alpha }$ produce entonces una relación homogénea sobre ${\displaystyle S}$. En términos filosóficos, este tipo de formalismo permite expresar la relación entre presuposiciones, preguntas y respuestas dentro de una estructura relacional.^[7]​

En el cálculo de relaciones, las funciones pueden caracterizarse como relaciones que satisfacen propiedades algebraicas. Sea ${\displaystyle R}$ una relación binaria y ${\displaystyle I}$ la relación identidad. La propiedad de univalencia puede expresarse mediante:

${\displaystyle R^{T}R\subseteq I.}$

La propiedad de inyectividad corresponde a la univalencia de la relación conversa:

${\displaystyle RR^{T}\subseteq I.}$

Una relación univalente es una función parcial. Para que sea una función total, debe satisfacer además la condición de totalidad:

${\displaystyle I\subseteq RR^{T}.}$

Así, una aplicación o función total univalente puede caracterizarse mediante ecuaciones y desigualdades relacionales. Usando complementos, De Morgan y Schröder formularon propiedades equivalentes para relaciones univalentes y totales. Para una aplicación ${\displaystyle f}$, una formulación característica es:

${\displaystyle {\bar {R}}=R{\bar {I}}.}$

Gunther Schmidt llama a este principio "deslizarse bajo la negación desde la izquierda" (slipping below negation from the left); para una aplicación ${\displaystyle f}$, puede escribirse:

${\displaystyle f{\bar {A}}={\overline {fA}}.}$^[6]​^[8]​

El cálculo de relaciones fue axiomatizado abstractamente por Alfred Tarski, quien introdujo las álgebras de relaciones como estructuras algebraicas que capturan operaciones fundamentales sobre relaciones binarias.^[9]​ El problema de representación consiste en determinar si toda álgebra que satisface los axiomas abstractos de las álgebras de relaciones puede representarse como un álgebra concreta de relaciones sobre un conjunto. Roger Lyndon mostró que la respuesta general es negativa, abriendo una línea de investigación sobre representabilidad y clases no representables.^[10]​

Las álgebras de relaciones son consideradas una de las formas paradigmáticas de lógica algebraica. En ellas, las operaciones lógicas y relacionales se tratan como operaciones algebraicas sobre elementos abstractos, y los problemas lógicos se transforman en problemas de representación, axiomatización, completitud, dualidad y estructura algebraica.^[11]​

La lógica algebraica trata estructuras algebraicas, con frecuencia retículos acotados o álgebras con operadores, como modelos o interpretaciones de sistemas lógicos. En este contexto, una lógica puede asociarse a una clase de álgebras, y las propiedades de la lógica pueden estudiarse mediante propiedades de esa clase.

La siguiente tabla recoge algunas correspondencias clásicas:

La idea general consiste en que, cuando dos fórmulas son equivalentes de acuerdo con una lógica, pueden identificarse algebraicamente. Si la equivalencia lógica es una congruencia respecto de los conectivos, el cociente del álgebra de fórmulas produce una estructura algebraica que refleja el comportamiento deductivo del sistema.^[1]​^[2]​

El método de Lindenbaum-Tarski es una de las herramientas centrales de la lógica algebraica. Sea ${\displaystyle \mathbf {Fm} }$ el álgebra de fórmulas de un lenguaje proposicional. En la lógica proposicional clásica, se define una relación de equivalencia entre fórmulas mediante:

${\displaystyle \varphi \equiv \psi \quad {\text{si y solo si}}\quad \vdash \varphi \leftrightarrow \psi .}$

Esta relación es una congruencia del álgebra de fórmulas. El cociente ${\displaystyle \mathbf {Fm} /\equiv }$ es el álgebra de Lindenbaum-Tarski de la lógica. En el caso de la lógica proposicional clásica, dicho cociente es un álgebra booleana libre. En el caso de la lógica intuicionista, el cociente produce un álgebra de Heyting.^[1]​^[2]​

De manera más general, si ${\displaystyle \Sigma }$ es una teoría, se puede definir:

${\displaystyle \varphi \equiv _{\Sigma }\psi \quad {\text{si y solo si}}\quad \varphi \leftrightarrow \psi \in \Sigma .}$

El cociente ${\displaystyle \mathbf {Fm} /\equiv _{\Sigma }}$ se llama álgebra de Lindenbaum-Tarski determinada por ${\displaystyle \Sigma }$. Para lógicas con implicación adecuada, la equivalencia puede definirse también por:

${\displaystyle \varphi \equiv _{\Sigma }\psi \quad {\text{si y solo si}}\quad \Sigma \vdash \varphi \to \psi \ {\text{y}}\ \Sigma \vdash \psi \to \varphi .}$^[1]​

Jon Michael Dunn y Gary M. Hardegree describen este procedimiento como una manera de hacer visible una estructura algebraica más profunda que el simple álgebra sintáctica de las fórmulas. En una presentación logística, las fórmulas ${\displaystyle \varphi }$ y ${\displaystyle \varphi \lor \varphi }$ son expresiones distintas; sin embargo, en el álgebra de Lindenbaum-Tarski de la lógica clásica pertenecen a la misma clase de equivalencia, porque expresan la misma proposición lógica en el sistema.^[2]​

Otra herramienta fundamental de la lógica algebraica es la matriz lógica. Para un lenguaje lógico ${\displaystyle L}$, una matriz lógica es un par ordenado:

${\displaystyle \langle \mathbf {A} ,F\rangle ,}$

donde ${\displaystyle \mathbf {A} }$ es un álgebra del tipo de ${\displaystyle L}$ y ${\displaystyle F\subseteq A}$ es un conjunto de valores designados. Una fórmula ${\displaystyle \varphi }$ es válida en la matriz si, para toda asignación ${\displaystyle h:\mathbf {Fm} \to \mathbf {A} }$, se tiene ${\displaystyle h(\varphi )\in F}$.^[1]​

Una matriz ${\displaystyle \langle \mathbf {A} ,F\rangle }$ es modelo de una lógica ${\displaystyle S}$ si para todo homomorfismo ${\displaystyle h}$ y para todo conjunto de premisas ${\displaystyle \Gamma }$ y fórmula ${\displaystyle \varphi }$:

${\displaystyle {\text{si }}h[\Gamma ]\subseteq F{\text{ y }}\Gamma \vdash _{S}\varphi ,{\text{ entonces }}h(\varphi )\in F.}$

En este caso, ${\displaystyle F}$ se llama filtro deductivo o ${\displaystyle S}$-filtro de ${\displaystyle \mathbf {A} }$. Esta noción fue central en la tradición polaca de lógica y en el desarrollo posterior de la lógica algebraica abstracta.^[1]​^[12]​^[13]​

La lógica algebraica abstracta (también llamada AAL, por abstract algebraic logic) es la teoría general de la algebraización de sistemas lógicos. En vez de estudiar solo las álgebras asociadas a una lógica concreta, busca criterios generales para determinar cuándo una clase de álgebras, matrices o modelos generalizados es la contraparte algebraica de una lógica.^[1]​

Uno de sus objetivos centrales es clasificar los sistemas lógicos de acuerdo con propiedades algebraicas de sus modelos. Entre las nociones principales se encuentran:

• las lógicas protoalgebraicas;
• las lógicas equivalenciales;
• las lógicas algebraizables;
• las lógicas débilmente algebraizables;
• la jerarquía de Leibniz;
• los operadores de Leibniz, Suszko y Tarski sobre filtros o teorías.^[1]​^[14]​^[15]​

Una lógica ${\displaystyle S}$ se considera algebraizable cuando existe una traducción adecuada entre consecuencias lógicas y consecuencias ecuacionales que permite representar el sistema deductivo mediante una clase de álgebras. En estos casos, las propiedades metalógicas de la lógica pueden estudiarse a través de propiedades algebraicas de su semántica equivalente.^[14]​

La lógica algebraica abstracta también permite formular teoremas puente, que conectan rasgos metalógicos con propiedades algebraicas. Por ejemplo, ciertos teoremas de interpolación se corresponden con propiedades de amalgamación; formas del teorema de la deducción se relacionan con congruencias principales definibles ecuacionalmente; y propiedades de definibilidad de Beth pueden corresponderse con la sobreyectividad de epimorfismos en clases algebraicas.^[1]​

Las álgebras cilíndricas fueron introducidas por Alfred Tarski y desarrolladas por Leon Henkin, James Donald Monk y otros autores como una contraparte algebraica de la lógica de primer orden con igualdad.^[16]​^[17]​

Una álgebra cilíndrica de dimensión ${\displaystyle \alpha }$ es una estructura:

${\displaystyle \mathbf {A} =\langle A,+,\cdot ,-,0,1,c_{i},d_{ij}\rangle _{i,j<\alpha }}$

donde ${\displaystyle \langle A,+,\cdot ,-,0,1\rangle }$ es un álgebra booleana, ${\displaystyle c_{i}}$ son operaciones unarias llamadas cilindrificadores y ${\displaystyle d_{ij}}$ son elementos diagonales, que satisfacen axiomas como:

${\displaystyle c_{i}0=0,}$

${\displaystyle x\leq c_{i}x,}$

${\displaystyle c_{i}(x\cdot c_{i}y)=c_{i}x\cdot c_{i}y,}$

${\displaystyle c_{i}c_{j}x=c_{j}c_{i}x,}$

${\displaystyle d_{ii}=1,}$

${\displaystyle d_{j\mu }=c_{i}(d_{ji}\cdot d_{i\mu })\quad {\text{si }}i\neq j,\mu ,}$

${\displaystyle c_{i}(d_{ij}\cdot x)\cdot c_{i}(d_{ij}\cdot -x)=0\quad {\text{si }}i\neq j.}$^[18]​

En la interpretación lógica, los cilindrificadores ${\displaystyle c_{i}}$ corresponden a cuantificadores existenciales sobre la variable ${\displaystyle v_{i}}$, y los elementos diagonales ${\displaystyle d_{ij}}$ corresponden a fórmulas de igualdad ${\displaystyle v_{i}=v_{j}}$. Si ${\displaystyle M}$ es una estructura de primer orden y ${\displaystyle \varphi }$ una fórmula, se puede asociar a ${\displaystyle \varphi }$ el conjunto:

${\displaystyle \varphi ^{M}=\{s\in {}^{\alpha }M:M\models \varphi [s]\}.}$

Entonces se tienen correspondencias como:

${\displaystyle \varphi ^{M}\cap \psi ^{M}=(\varphi \land \psi )^{M},}$

${\displaystyle {}^{\alpha }M\setminus \varphi ^{M}=(\neg \varphi )^{M},}$

${\displaystyle c_{i}(\varphi ^{M})=(\exists v_{i}\varphi )^{M},}$

${\displaystyle d_{ij}=(v_{i}=v_{j})^{M}.}$^[18]​

Tarski demostró que toda álgebra cilíndrica localmente finita de dimensión ${\displaystyle \omega }$ es representable. Según Sayed Ahmed, este teorema de representación es equivalente al teorema de completitud de Gödel para la lógica de primer orden.^[18]​ Henkin formuló después el teorema de las incrustaciones limpias o neat embeddings, que caracteriza las álgebras representables mediante su posibilidad de incrustarse como reductos limpios en álgebras de dimensión superior.^[16]​

Si ${\displaystyle \alpha <\beta }$ y ${\displaystyle \mathbf {B} \in CA_{\beta }}$, el reducto limpio ${\displaystyle Nr_{\alpha }\mathbf {B} }$ se obtiene descartando operaciones y diagonales cuyos índices pertenecen a ${\displaystyle \beta \setminus \alpha }$ y restringiendo el universo a los elementos cuya dimensión está contenida en ${\displaystyle \alpha }$:

${\displaystyle Nr_{\alpha }B=\{x\in B:\{i\in \beta :c_{i}x\neq x\}\subseteq \alpha \}.}$

Henkin mostró que, para una álgebra cilíndrica ${\displaystyle \mathbf {A} \in CA_{\alpha }}$,

${\displaystyle \mathbf {A} \in RCA_{\alpha }\quad \Longleftrightarrow \quad \mathbf {A} \in SNr_{\alpha }CA_{\alpha +\omega },}$

donde ${\displaystyle RCA_{\alpha }}$ es la clase de álgebras cilíndricas representables de dimensión ${\displaystyle \alpha }$.^[18]​

Monk demostró que, para dimensiones finitas mayores que 2, la clase de álgebras cilíndricas representables no puede axiomatizarse mediante un esquema finito de ecuaciones. Este resultado tuvo una influencia decisiva en el desarrollo posterior de la lógica algebraica tarskiana, pues mostró la complejidad de la distancia entre las álgebras cilíndricas abstractas y sus representaciones conjuntistas.^[18]​^[19]​

Las álgebras poliadicas, introducidas por Paul Halmos, constituyen otra algebraización de la lógica de primer orden. A diferencia de las álgebras cilíndricas, que utilizan cilindrificadores y diagonales, las álgebras poliadicas incorporan operadores de sustitución asociados a transformaciones de variables.^[20]​

Las álgebras monádicas, también estudiadas por Halmos, algebraizan fragmentos monádicos de la lógica de predicados y se relacionan con la lógica modal S5. En general, muchas lógicas modales se estudian mediante álgebras booleanas con operadores, donde el álgebra booleana proporciona las operaciones proposicionales clásicas y los operadores adicionales interpretan modalidades como necesidad y posibilidad.^[21]​^[22]​

La lógica combinatoria es otro formalismo algebraico que va más allá de la lógica de primer orden. Fue introducida por Moses Schönfinkel en la década de 1920 y desarrollada por Haskell Curry. Su objetivo inicial era eliminar variables ligadas mediante operadores primitivos llamados combinadores.^[23]​^[24]​

Los combinadores básicos satisfacen esquemas como:

${\displaystyle Kxy=x,}$

${\displaystyle Sxyz=xz(yz),}$

${\displaystyle Ix=x.}$

Un conjunto de combinadores es combinatoriamente completo si, para toda expresión construida a partir de variables, existe una combinación de esos operadores que reproduce la misma aplicación funcional. En lógica combinatoria, la abstracción funcional puede definirse mediante combinadores; en el cálculo lambda, en cambio, la abstracción se toma como primitiva.^[25]​

Aunque la lógica combinatoria y el cálculo lambda no se identifican sin más con la lógica algebraica clásica de relaciones, ambos son relevantes para la historia de los métodos algebraicos en lógica, especialmente por su tratamiento de la aplicación, la sustitución, la abstracción y los fundamentos funcionales de la lógica y de la computación.^[25]​

La idea de una lógica tratada algebraicamente suele remontarse a Gottfried Wilhelm Leibniz, quien concibió el proyecto de una characteristica universalis y un calculus ratiocinator. Aunque sus escritos lógicos tuvieron poca influencia directa en el desarrollo decimonónico de la lógica algebraica, anticiparon la aspiración de representar razonamientos mediante símbolos y reglas de cálculo.^[26]​

también puede considerarse como antecedente el paralelismo entre lógica y álgebra elaborado por Jacob y Johann Bernoulli en el siglo XVII,^[27]​ así como la obra de M. Busch, Anfangsgründe der logischen Algebra, publicada en Tubinga en 1768.^[28]​

La lógica algebraica moderna comenzó en 1847 con dos obras publicadas casi simultáneamente: The Mathematical Analysis of Logic, de George Boole, y Formal Logic, de Augustus De Morgan.^[29]​^[30]​

Boole concibió la lógica como un cálculo algebraico. En su sistema, la conjunción de clases se interpretaba como una multiplicación, la suma como una unión dada bajo ciertas restricciones, y el complemento como una operación análoga a la resta respecto del universo. La ley idempotente ${\displaystyle XX=X}$ marcaba la diferencia fundamental entre el álgebra lógica y el álgebra numérica ordinaria.^[3]​

En 1854, Boole publicó An Investigation of the Laws of Thought, donde desarrolló de manera más amplia su álgebra de la lógica y sus aplicaciones a la probabilidad.^[31]​

Charles Sanders Peirce extendió la tradición booleana mediante su lógica de relativos. En 1870 publicó "Description of a Notation for the Logic of Relatives", que introdujo una notación para relaciones y operaciones sobre ellas.^[32]​

Ernst Schröder sistematizó la tradición algebraica en sus Vorlesungen über die Algebra der Logik, publicadas entre 1890 y 1905. Su tercer volumen estuvo dedicado al álgebra de relaciones y consolidó una de las exposiciones más influyentes de la lógica algebraica decimonónica.^[33]​

A fines del siglo XIX y comienzos del siglo XX, la tradición algebraica de la lógica coexistió con la tradición logicista. Frege desarrolló una lógica de funciones, cuantificadores y proposiciones en su Begriffsschrift de 1879.^[34]​ Russell y Whitehead consolidaron dicha propuesta en su Principia Mathematica.^[35]​

La diferencia entre ambas tradiciones puede expresarse de manera esquemática. Por una parte, la tradición algebraica se centraba en cuestiones como la equivalencia, la igualdadm la inclusión y el cálculo ecuacional. Por su lado, la tradición logística se centraba en cuestiones como la aserción, la inferencia, la verdad lógica y la cuantificación.^[1]​

Alfred Tarski desempeñó un papel central en el renacimiento de la lógica algebraica. En 1941 publicó "On the Calculus of Relations", retomando y axiomatizando la tradición de Peirce y Schröder sobre relaciones.^[9]​ Tarski también formuló la conexión precisa entre el cálculo proposicional clásico y el álgebra booleana mediante el método de Lindenbaum-Tarski.^[36]​

Junto con sus estudiantes y colaboradores, Tarski impulsó el desarrollo de las álgebras de relaciones y las álgebras cilíndricas. Henkin, Monk y Tarski publicaron posteriormente una teoría sistemática de las álgebras cilíndricas, que se convirtió en una de las áreas principales de la lógica algebraica tarskiana.^[16]​^[17]​

La lógica algebraica también se desarrolló en relación con las lógicas no clásicas. La lógica intuicionista se asoció con las álgebras de Heyting; las lógicas modales con álgebras booleanas con operadores, álgebras interiores; y las lógicas multivaluadas con álgebras de Post, Wajsberg y MV.^[37]​^[38]​

Desde fines del siglo XX, la lógica algebraica se ha diversificado en varias direcciones:

• lógica algebraica abstracta;
• teoría de álgebras cilíndricas y poliadicas;
• álgebras de relaciones;
• álgebras con operadores;
• álgebras residuadas y lógicas subestructurales;
• lógicas modales y dualidad;
• álgebras vinculadas a la computación, teoría de bases de datos, teoría de categorías, teoría de dominios y semántica de programas.^[1]​^[18]​^[2]​

Resulta complejo intentar mapear el desarrollo del campo. Sayed Ahmed distingue tres grandes ramas contemporáneas: la algebraización de cálculos lógicos que conduce a la lógica algebraica abstracta; el enfoque algebraico de la lógica de primer orden, ligado sobre todo a Tarski y a las álgebras cilíndricas; y el enfoque algebraico de lógicas proposicionales no clásicas, como la lógica intuicionista, modal y subestructural.^[18]​

La lógica algebraica tiene conexiones con varias áreas de la lógica y la matemática:

• teoría de modelos, mediante representabilidad y construcciones de modelos;
• álgebra universal, mediante variedades, cuasivariedades, congruencias y homomorfismos;
• topología, mediante dualidades como la dualidad de Stone y las representaciones topológicas de álgebras;
• teoría de categorías, mediante enfoques categóricos de la semántica lógica;
• ciencias de la computación, mediante semántica algebraica de programas, álgebras de relaciones, lógica combinatoria, cálculo lambda y especificaciones formales;
• teoría de la demostración, mediante teoremas puente entre reglas deductivas y propiedades algebraicas.^[2]​^[1]​^[18]​

En particular, las álgebras de relaciones y sus extensiones se han utilizado en teoría de programas. Las álgebras de bifurcación o fork algebras se han propuesto como formalismos algebraicos para expresar especificaciones y programas mediante términos y ecuaciones, permitiendo razonar sobre programas de manera relacional.^[39]​

• Álgebra de Boole
• Álgebra de Heyting
• Álgebra de relaciones
• Álgebra cilíndrica
• Álgebra-MV
• Lógica matemática
• Lógica proposicional
• Lógica de primer orden
• Lógica modal
• Lógica intuicionista
• Lógica combinatoria
• Cálculo lambda
• Teoría de modelos
• Álgebra universal
• Retículo (orden)
• Dualidad de Stone
• George Boole
• Augustus De Morgan
• Charles Sanders Peirce
• Ernst Schröder
• Alfred Tarski
• Helena Rasiowa
• Paul Halmos

• Boole, George (1847). The Mathematical Analysis of Logic, Being an Essay towards a Calculus of Deductive Reasoning. Londres: Macmillan, Barclay, & Macmillan. 
• Boole, George (1854). An Investigation of the Laws of Thought, on Which Are Founded the Mathematical Theories of Logic and Probabilities. Londres: Walton and Maberly. 
• De Morgan, Augustus (1847). Formal Logic: or, The Calculus of Inference, Necessary and Probable. Londres: Taylor & Walton. 
• Frege, Gottlob (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Louis Nebert. 
• Peirce, Charles Sanders (1870). «Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic». Memoirs of the American Academy of Arts and Sciences 9: 317-378. doi:10.2307/25058006. 
• Schröder, Ernst (1890-1905). Vorlesungen über die Algebra der Logik. 1-3. Leipzig: B. G. Teubner. 
• Schönfinkel, Moses (1924). «Über die Bausteine der mathematischen Logik». Mathematische Annalen 92: 305-316. doi:10.1007/BF01448013. 
• Tarski, Alfred (1941). «On the Calculus of Relations». Journal of Symbolic Logic 6 (3): 73-89. doi:10.2307/2268577. 
• Whitehead, Alfred North; Russell, Bertrand (1910-1913). Principia Mathematica. Cambridge: Cambridge University Press. 

• Anellis, Irving H.; Drucker, Thomas L.; Houser, Nathan; Peckhaus, Volker; Theel, Christian (1995). «Studies in the Nineteenth-Century History of Algebraic Logic and Universal Algebra: A Secondary Bibliography». Modern Logic 5 (1): 1-120. 
• Andréka, Hajnal; Németi, István; Sain, Ildikó (2001). «Algebraic Logic». En Dov M. Gabbay; Franz Guenthner, eds. Handbook of Philosophical Logic 2 (2.ª edición). Dordrecht: Springer. pp. 133-247. ISBN 978-0-7923-7126-7. 
• Blok, Willem J.; Pigozzi, Don (1989). Algebraizable Logics. Memoirs of the American Mathematical Society 77 (396). Providence: American Mathematical Society. doi:10.1090/memo/0396. 
• Burris, Stanley (2021). «The Algebra of Logic Tradition». En Edward N. Zalta, ed. The Stanford Encyclopedia of Philosophy. Consultado el 11 de mayo de 2026. 
• Cardone, Felice; Hindley, J. Roger (2006). «History of Lambda-Calculus and Combinatory Logic». Swansea University Mathematics Department Research Report (MRRS-05-06). 
• Czelakowski, Janusz (2001). Protoalgebraic Logics. Dordrecht: Kluwer Academic Publishers. ISBN 978-0-7923-6940-9 |isbn= incorrecto (ayuda). 
• Dunn, J. Michael; Hardegree, Gary M. (2001). Algebraic Methods in Philosophical Logic. Oxford Logic Guides 41. Oxford: Oxford University Press. ISBN 978-0-19-853192-0. 
• Font, Josep Maria; Jansana, Ramon; Pigozzi, Don (2003). «A Survey of Abstract Algebraic Logic». Studia Logica 74 (1-2): 13-97. doi:10.1023/A:1024621922509. 
• Halmos, Paul R. (1962). Algebraic Logic. Nueva York: Chelsea Publishing Company. 
• Henkin, Leon; Monk, J. Donald; Tarski, Alfred (1971). Cylindric Algebras. Part I. Ámsterdam: North-Holland. 
• Henkin, Leon; Monk, J. Donald; Tarski, Alfred (1985). Cylindric Algebras. Part II. Ámsterdam: North-Holland. 
• Maddux, Roger D. (1991). «The Origin of Relation Algebras in the Development and Axiomatization of the Calculus of Relations». Studia Logica 50 (3-4): 421-455. doi:10.1007/BF00370681. 
• Rasiowa, Helena (1974). An Algebraic Approach to Non-Classical Logics. Ámsterdam: North-Holland. 
• Sayed Ahmed, Tarek (2015). «A brief history of algebraic logic, from neat embeddings to games theory and rainbow constructions». arXiv:1508.05840

 [math.LO]. 

• "The Algebra of Logic Tradition" en la Stanford Encyclopedia of Philosophy
• "Algebraic Propositional Logic" en la Stanford Encyclopedia of Philosophy