Lindenbaum–Tarski algebra (Q841805)
Jump to navigation
Jump to search
algebra of the operations on a logical theory up to equivalence
- Lindenbaum algebra
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lindenbaum–Tarski algebra |
algebra of the operations on a logical theory up to equivalence |
|
Statements
Identifiers
Sitelinks
Wikipedia(7 entries)
- cswiki Lindenbaumova algebra
- dewiki Lindenbaum-Algebra
- enwiki Lindenbaum–Tarski algebra
- eswiki Álgebra de Lindenbaum-Tarski
- frwiki Algèbre de Lindenbaum
- ruwiki Алгебра Линденбаума — Тарского
- zhwiki 林登鲍姆-塔斯基代数