Algebraic Characterizations for Universal Fragments of Logic (Q4264538)
From MaRDI portal
scientific article; zbMATH DE number 1339460
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic Characterizations for Universal Fragments of Logic |
scientific article; zbMATH DE number 1339460 |
Statements
Algebraic Characterizations for Universal Fragments of Logic (English)
0 references
23 November 1999
0 references
equational theories
0 references
fully invariant congruences
0 references
absolutely free algebra
0 references
quasi-equational theories
0 references
infinitary languages
0 references
universal Horn theories
0 references
fully invariant closure systems
0 references
universal atomic theories
0 references
