The variety of Kleene algebras with conversion is not finitely based
From MaRDI portal
Publication:1978513
DOI10.1016/S0304-3975(99)00079-1zbMath0954.08004OpenAlexW1986949269MaRDI QIDQ1978513
Siniša Crvenković, Igor Dolinka, Zoltán Ésik
Publication date: 4 June 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(99)00079-1
Formal languages and automata (68Q45) Applications of universal algebra in computer science (08A70) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Relational systems, laws of composition (08A02)
Related Items
A non-finitely based involution semigroup of order five, Finite basis problem for Catalan monoids with involution, Representations and identities of Baxter monoids with involution, Axiomatizability of positive algebras of binary relations, Finite basis problem for involution monoids of unitriangular Boolean matrices, THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES, The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based, IDEMPOTENT DISTRIBUTIVE SEMIRINGS WITH INVOLUTION, On equations for union-free regular languages, Finite basis problem for Lee monoids with involution, The max-plus algebra of the natural numbers has no finite equational basis, Abstract abstract reduction
Cites Work
- Equational properties of Kleene algebras of relations with conversion
- Complete systems of \(\mathcal B\)-rational identities
- Group axioms for iteration
- Notes on equational theories of relations
- The equational logic of fixed points
- Equational axioms for regular sets
- Nonfinite axiomatizability of the equational theory of shuffle
- Two Complete Axiom Systems for the Algebra of Regular Events
- On Kleene algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
