bn:03888373n
Noun Concept
IT
lindenbaum-tarski 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
Relations
Sources
Wikipedia Translations