bn:03888373n
Noun Concept
JA
リンデンバウム代数  リンデンバウム–タルスキ代数  リンデンバウム–タルスキ代数
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