Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/25416
Nаziv: | The variety of Kleene algebras with conversion is not finitely based | Аutоri: | Crvenković Siniša Dolinka Igor Ésik Zoltan |
Dаtum izdаvаnjа: | 2000 | Čаsоpis: | Theoretical Computer Science | Sažetak: | Given an arbitrary set A, one obtains the full Kleene algebra of binary relations over A by considering the operations of union, composition, reflexive-transitive closure, conversion, and the empty set and the identity relation as constants. Such algebras generate the variety of Kleene algebras (with conversion). As a result of a general analysis of identities satisfied by varieties having an involution operation, we prove that the variety of Kleene algebras with conversion has no finite equational axiomatization. In our argument we make use of the fact that the variety of Kleene algebras without conversion is not finitely based and that, relatively to this variety, the variety of Kleene algebras with conversion is finitely axiomatized. © 2000 Elsevier Science B.V. All rights reserved. | URI: | https://open.uns.ac.rs/handle/123456789/25416 | ISSN: | 0304-3975 | DOI: | 10.1016/S0304-3975(99)00079-1 |
Nаlаzi sе u kоlеkciјаmа: | PMF Publikacije/Publications |
Prikаzаti cеlоkupаn zаpis stаvki
SCOPUSTM
Nаvоđеnjа
22
prоvеrеnо 20.11.2023.
Prеglеd/i stаnicа
7
Prоtеklа nеdеljа
1
1
Prоtеkli mеsеc
0
0
prоvеrеnо 10.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.