Algebraización de la Lógica

El proceso de asociar a un sistema deductivo una clase de álgebras (un contrapunto algebraico) que capture exactamente su relación de consecuencia y sus propiedades ecuacionales, a menudo identificando esquemas de traducción entre fórmulas y términos algebraicos y las condiciones bajo las cuales la consecuencia sintáctica corresponde a la validez ecuacional.