Lógica algébrica abstrata
De Wikipedia, a enciclopédia encyclopedia
Na Lógica Matemática, lógica algébrica abstrata é o estudo da algebrização dos sistemas dedutivos decorrente de uma abstração da já conhecida álgebra de Lindenbaum-Tarski, e como as álgebras resultantes estão relacionadas com os sistemas lógicos.