Category:Algebraic Logic

This category contains results about Algebraic Logic.
Definitions specific to this category can be found in Definitions/Algebraic Logic.

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