 The Lindenbaum–Tarski algebra is considered the origin of the modern algebraic logic.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.