在数理逻辑中，代数逻辑使用抽象代数方法形式化逻辑。

代数逻辑把逻辑当作特定代数结构构成的模型(解释、释义)，特别是作为格构成的模型，并因而是序理论的分支。

在代数逻辑中:

在下表中，左列包含一个或多个逻辑或数学系统，它是在右列展示的代数结构构成的模型。这些结构要幺是布尔代数要幺是它的严格扩展。模态逻辑和其他非经典逻辑典型是“带有算子的布尔代数”所构成的模型。

代数形式主义在至少以下方面超越了一阶逻辑:

两元素布尔代数

一元谓词逻辑

多元代数 谓词函子逻辑

关系代数

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

What is now usually called classical algebraic logic focuses on the identification and algebraic description of models appropriate for the study of various logics (in the form of classes of algebras that constitute the algebraic semantics for these deductive systems) and connected problems like representation and duality. Well known results like the representation theorem for Boolean algebras and Stone duality fall under the umbrella of classical algebraic logic.