On Partially Additive Kleene Algebras
Logic in Computer Science
2007-05-23 v1
Abstract
We define the notion of a partially additive Kleene algebra, which is a Kleene algebra where the + operation need only be partially defined. These structures formalize a number of examples that cannot be handled directly by Kleene algebras. We relate partially additive Kleene algebras to existing algebraic structures, by exhibiting categorical connections with Kleene algebras, partially additive categories, and closed semirings.
Keywords
Cite
@article{arxiv.cs/0501032,
title = {On Partially Additive Kleene Algebras},
author = {Riccardo Pucella},
journal= {arXiv preprint arXiv:cs/0501032},
year = {2007}
}
Comments
23 pages; to be presented at the 8th International Conference on Relational Methods in Computer Science (RelMiCS 8)