Es decir, dos oraciones son equivalentes si la teoría T prueba que cada una implica a la otra.
El álgebra lleva el nombre de los lógicos Adolf Lindenbaum y Alfred Tarski.
Fue introducido por primera vez por Tarski en 1935[1] como un dispositivo para establecer la correspondencia entre la lógica proposicional clásica y las álgebras booleanas.
Cuando la negación también está presente en T, entonces A es un álgebra booleana, siempre que la lógica sea clásica.
Una lógica para la que es aplicable el método de Tarski se llama algebraizable.