 The Lindenbaum–Tarski algebra is thus the quotient algebra obtained by factoring the algebra of formulas by this congruence relation.The algebra is named for logicians Adolf Lindenbaum and Alfred Tarski.It was first introduced by Tarski in 1935
as a device to establish correspondence between classical propositional calculus and Boolean algebras.