的目标是抽象出对经典命题演算和布尔代数和其他密切关联的逻辑系统中成立的结果和方法，在让这些结果和方法可以应用于更广泛的命题逻辑种类的方式下。(3) 归功于 Blok 和 Pigozzi 探索在各种逻辑系统上的不同形式的周知于经典命题演算和一阶逻辑的演绎定理的联合工作。他们把这个各种形式演绎定理关联于这些逻辑系统的代数对应者的性质。抽象代数逻辑已经变成代数逻辑的良好确立的子领域，有很多深入和有价值的成果。这些成果解释了不同类的逻辑系统的很多性质，以前它们只有个案解释或包裹在神秘之中。AAL 最重要的成