在数理逻辑中，代数逻辑使用抽象代数方法形式化逻辑。
逻辑作为代数构成的模型.代数逻辑把逻辑当作特定代数结构构成的模型(解释、释义)，特别是作为格构成的模型，并因而是序理论的分支。在代数逻辑中:在下表中，左列包含一个或多个逻辑或数学系统，它是在右列展示的代数结构构成的模型。这些结构要么是布尔代数要么是它的严格扩展。模态逻辑和其他非经典逻辑典型是“带有算子的布尔代数”所构成的模型。代数形式主义在至少以下方面超越了一阶逻辑:
历史.代数逻辑有至少两种