Abstract algebraic logic
[pt] Lógica algébrica abstrata
[zh] 抽象代数逻辑