The equational theory of Kleene lattices

  title={The equational theory of Kleene lattices},
  author={Hajnal Andr{\'e}ka and Szabolcs Mikul{\'a}s and Istv{\'a}n N{\'e}meti},
  journal={Theor. Comput. Sci.},
Languages and families of binary relations are standard interpretations of Kleene algebras. It is known that the equational theories of these interpretations coincide and that the free Kleene algebra is representable both as a relational and as a language algebra. We investigate the identities valid in these interpretations when we expand the signature of Kleene algebras with the meet operation. In both cases meet is interpreted as intersection. We prove that in this case there are more… CONTINUE READING

From This Paper

Topics from this paper.
10 Citations
10 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 10 references

Bredikhin. The equational theory of union-free algebras of relations

  • D.A.H. Andréka
  • Algebra Universalis,
  • 1995
1 Excerpt

The equational theory of unionfree algebras of relations

  • D. A. Bredikhin
  • Algebra Universalis
  • 1995

On action algebras

  • D. Kozen
  • Logic and Information Flow,
  • 1994
1 Excerpt

Regular Algebra and Finite Machines

  • J. H. Conway
  • 1971
1 Excerpt

Similar Papers

Loading similar papers…