abstract algebraic logic (Q4669936)
Jump to navigation
Jump to search
study of the algebraization of deductive systems, based on the Lindenbaum–Tarski algebra
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | abstract algebraic logic |
study of the algebraization of deductive systems, based on the Lindenbaum–Tarski algebra |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(3 entries)
- enwiki Abstract algebraic logic
- ptwiki Lógica algébrica abstrata
- zhwiki 抽象代数逻辑