Algebraization of Logic

The process of associating to a deductive system a class of algebras (an algebraic counterpart) that exactly captures its consequence relation and equational properties, often by identifying translation schemes between formulas and algebraic terms and conditions under which syntactic entailment corresponds to equational validity.