环、模、域等的研究)到泛代数(任意满足特定抽象性质的相似类型的代数类的研究)的历程。开发抽象代数逻辑的两个主要动机密切联系于上述要点 (1) 和 (3)。关于 (1)，转移的关键步骤是 Rasiowa 的工作发起的。她的目标是抽象出对经典命题演算和布尔代数和其他密切关联的逻辑系统中成立的结果和方法，在让这些结果和方法可以应用于更广泛的命题逻辑种类的方式下。(3) 归功于 Blok 和 Pigozzi 探索在各种逻辑系统上的不同形式的周知于经典命题演算和一阶逻辑的演绎定理的联合工作。他们把这个各种形式