In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables. Wikipedia