Lindenbaum–Tarski algebra

Lindenbaum–Tarski algebra is a structure in mathematical logic and model theory that arises from the study of formal systems, particularly those dealing with propositional or predicate logic. It is named after the mathematicians Adolf Lindenbaum and Alfred Tarski, who contributed significantly to the foundations of mathematical logic. In essence, a Lindenbaum–Tarski algebra is a specific type of Boolean algebra that is constructed from the collection of all consistent sets of formulas in a given formal system.