baum-Tarski代数中达到顶点。经典代数逻辑包括所有代数逻辑的工作直到大约1960年研究用来“代数化”对特定逻辑研究有价值的指定逻辑系统的指定代数类的性质。一般的说，与逻辑系统的关联的代数都是某种类型的格，除了格补运算之外可能增补了一个或多个一元运算。抽象代数逻辑是1950年代和1960年代期间随着 Helena Rasiowa、Roman Sikorski、Los 和 Suszko 等人的工作在波兰发展出来的代数逻辑现代子领域。它在1980年代随着波兰逻辑学家 Janusz Czelakow