UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

A note on commutative Kleene algebra

Brunet, P; (2019) A note on commutative Kleene algebra. ArXiv: Ithaca, NY, USA. Green open access

[thumbnail of 1910.14381v1.pdf]
Preview
Text
1910.14381v1.pdf

Download (447kB) | Preview

Abstract

In this paper we present a detailed proof of an important result of algebraic logic: namely that the free commutative Kleene algebra is the space of semilinear sets. The first proof of this result was proposed by Redko in 1964, and simplified and corrected by Pilling in his 1970 thesis. However, we feel that a new account of this proof is needed now. This result has acquired a particular importance in recent years, since it is a key component in the completeness proofs of several algebraic models of concurrent computations (bi-Kleene algebra, concurrent Kleene algebra...). To that effect, we present a new proof of this result.

Type: Working / discussion paper
Title: A note on commutative Kleene algebra
Open access status: An open access version is available from UCL Discovery
Publisher version: https://arxiv.org/abs/1910.14381v1
Language: English
Additional information: This version is the version of record. For information on re-use, please refer to the publisher’s terms and conditions.
UCL classification: UCL
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/10088516
Downloads since deposit
8Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item