bn:03888373n
Noun Concept
Categories: Algebraic structures, Algebraic logic
EN
Lindenbaum–Tarski algebra  Lindenbaum-Tarski algebra  Lindenbaum algebra
EN
In mathematical logic, the Lindenbaum–Tarski algebra of a logical theory T consists of the equivalence classes of sentences of the theory. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic, the Lindenbaum–Tarski algebra of a logical theory T consists of the equivalence classes of sentences of the theory. Wikipedia
STUDIED BY