The equational theory of Kleene lattices

DOI10.1016/J.TCS.2011.09.024zbMath1234.68273OpenAlexW2087081229MaRDI QIDQ655418

Szabolcs Mikulás, Hajnalka Andréka, Istvan Németi

Publication date: 4 January 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.09.024

zbMATH Keywords

relation algebraequational theoryKleene algebraKleene latticelanguage algebra

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Related Items (5)

Unnamed Item ⋮ Language models for some extensions of the Lambek calculus ⋮ Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements ⋮ Completeness for Identity-free Kleene Lattices ⋮ Reversible Kleene lattices

Cites Work

• Axiomatizability of positive algebras of binary relations
• Equational properties of Kleene algebras of relations with conversion
• Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
• Dynamic algebras: Examples, constructions, applications
• A completeness theorem for Kleene algebras and the algebra of regular events
• The equational theory of union-free algebras of relations
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The equational theory of Kleene lattices