A note on unification type zero (Q1098285)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A note on unification type zero |
scientific article; zbMATH DE number 4037183
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A note on unification type zero |
scientific article; zbMATH DE number 4037183 |
Statements
A note on unification type zero (English)
0 references
1988
0 references
An equational theory E is of unification type zero if there exist terms s, t for which there is no minimal complete set of E-unifiers of s, t. The existence of such a theory E was conjectured by Plotkin in 1972. The first example of a theory of this type was constructed by Fages and Huet in 1983. The present paper shows that the theory of idempotent semigroups is of unification type zero. This yields an example of a theory of type zero which is more natural than the example given by Fages and Huet.
0 references
term rewriting systems
0 references
equational theory
0 references
unification
0 references
idempotent semigroups
0 references
