Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке:
https://open.uns.ac.rs/handle/123456789/25416
Назив: | The variety of Kleene algebras with conversion is not finitely based | Аутори: | Crvenković Siniša Dolinka Igor Ésik Zoltan |
Датум издавања: | 2000 | Часопис: | Theoretical Computer Science | Сажетак: | 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 |
Налази се у колекцијама: | PMF Publikacije/Publications |
Приказати целокупан запис ставки
SCOPUSTM
Навођења
22
проверено 20.11.2023.
Преглед/и станица
7
Протекла недеља
1
1
Протекли месец
0
0
проверено 10.05.2024.
Google ScholarTM
Проверите
Алт метрика
Ставке на DSpace-у су заштићене ауторским правима, са свим правима задржаним, осим ако није другачије назначено.