Unification in primal algebras, their powers and their varieties (Q3495674)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unification in primal algebras, their powers and their varieties |
scientific article |
Statements
Unification in primal algebras, their powers and their varieties (English)
0 references
1990
0 references
non-numerical algorithms
0 references
Boolean rings
0 references
unification problem
0 references
primal algebras
0 references
Boolean algebra
0 references
Post algebras
0 references
matrix rings
0 references
many-valued logics
0 references
equational theories
0 references
