Back to Search
Start Over
On Algebras with Iteration
- Source :
- Journal of Logic and Computation. 18:1047-1085
- Publication Year :
- 2008
- Publisher :
- Oxford University Press (OUP), 2008.
-
Abstract
- Several concepts of algebras with solutions of recursive equation systems are compared: CPO-enrichable algebras are proved to be iteration algebras of Z. Esik, and iteration algebras are a special case of the recently introduced Elgot algebras (which are the monadic algebras for the free iterative monad). Another special case of iteration algebras are the iterative algebras of E. Nelson and J. Tiuryn, which are algebras with unique solutions of all guarded systems. For each of the above classes of algebras an example is provided showing that the inclusion in a wider class is proper.
- Subjects :
- Class (set theory)
Logic
Non-associative algebra
Monad (functional programming)
Theoretical Computer Science
Algebra
Quadratic algebra
Cayley–Dickson construction
Interior algebra
Arts and Humanities (miscellaneous)
Hardware and Architecture
ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION
Nest algebra
CCR and CAR algebras
Software
Mathematics
Subjects
Details
- ISSN :
- 1465363X and 0955792X
- Volume :
- 18
- Database :
- OpenAIRE
- Journal :
- Journal of Logic and Computation
- Accession number :
- edsair.doi...........0ed1ebd0f90cb049e93721a46242dd08