Independence of the equational axioms for iteration theories (Q1106011)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Independence of the equational axioms for iteration theories |
scientific article |
Statements
Independence of the equational axioms for iteration theories (English)
0 references
1988
0 references
The author's characterization of iteration theories by five equational axiom schemes [Comput. Linguist. Comput. Lang. 14, 183-207 (1980; Zbl 0466.68010)] contained one redundant identity [J. Comput. Syst. Sci. 27, 291-303 (1983; Zbl 0532.68011)]; in the present paper, four models are constructed to demonstrate the independence of the remaining four identities.
0 references
many sorted algebra
0 references
iteration theories
0 references
equational axiom schemes
0 references
