Independence of the equational axioms for iteration theories (Q1106011)
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: Independence of the equational axioms for iteration theories |
scientific article; zbMATH DE number 4060683
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Independence of the equational axioms for iteration theories |
scientific article; zbMATH DE number 4060683 |
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
0.90401393
0 references
0.8970146
0 references
0 references
0.8853568
0 references
0.8809003
0 references
0.87786627
0 references
0.87718636
0 references
