抽象代数逻辑(AAL)是研究代数类关联于逻辑系统的方式和这些代数类如何与逻辑系统交互的数理逻辑领域。
概述.代数逻辑起源的原型和后续发展的核心基础是在布尔代数类和经典命题演算之间的关联。这种关联是乔治·布尔在1850年代发现的，并被其他人特别是 Ernst Schröder 在1890年代所精致。这项工作在阿尔弗雷德·塔斯基和他的学生 Adolf Lindenbaum 在1930年代提出的 Lindenbaum-Tarski代数中达到顶点。经典代数逻辑包括所有代数逻辑的工作直到