Definition:Algebraic Logic

Definition
Algebraic logic is a branch of mathematical logic which is the reasoning obtained by manipulating equations with free variables.

Also see

 * Definition:Mathematical Logic
 * Definition:Symbolic Logic