The algebra is named for logicians Adolf Lindenbaum and Alfred Tarski.
Starting in the academic year 1926-1927, Lindenbaum pioneered his method in Jan Łukasiewicz's mathematical logic seminar,[1][2] and the method was popularized and generalized in subsequent decades through work by Tarski.
[4] The operations in a Lindenbaum–Tarski algebra A are inherited from those in the underlying theory T. These typically include conjunction and disjunction, which are well-defined on the equivalence classes.
When negation is also present in T, then A is a Boolean algebra, provided the logic is classical.
A logic for which Tarski's method is applicable, is called algebraizable.