抽象代数逻辑 抽象代数逻辑AAL是研究代数类关联于逻辑系统的方式和这些代数类如何与逻辑系统交互的数理逻辑领域