pith. sign in

arxiv: cs/0501032 · v1 · submitted 2005-01-16 · 💻 cs.LO

On Partially Additive Kleene Algebras

classification 💻 cs.LO
keywords kleenepartiallyadditivealgebrasalgebrastructuresalgebraiccannot
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.