Algébrisation de la Logique

Le processus consistant à associer à un système déductif une classe d'algèbres (un contrepoint algébrique) qui capture exactement sa relation de conséquence et ses propriétés équationnelles, souvent en identifiant des schémas de traduction entre formules et termes algébriques et les conditions sous lesquelles la conséquence syntaxique correspond à la validité équationnelle.