The two main motivations for the development of abstract algebraic logic are closely connected to (1) and (3) above.
开发抽象代数逻辑的两个主要动机密切联系于上述要点 (1) 和 (3)。