抽象代數邏輯

抽象代數邏輯 ( AAL ) 是研究代數類關聯於邏輯系統的方式和這些代數類如何與邏輯系統交互的數理邏輯領域 。