On dynamic algebras

Молимо вас користите овај идентификатор за цитирање или овај линк до ове ставке: https://open.uns.ac.rs/handle/123456789/14277

Назив:	On dynamic algebras
Аутори:	Crvenković S. Madarász Rozália
Датум издавања:	7-нов-1994
Часопис:	Theoretical Computer Science
Сажетак:	Dynamic algebras are the Lindenbaum-Tarski algebras of dynamic logics. These algebras can be considered as Boolean algebras with some operators, indexed by the elements of some Kleene algebra. In this paper we prove that there are infinitely many finitely generated varieties of dynamic algebras having undecidable equational theories. All these varieties are generated by representable dynamic algebras. © 1994.
URI:	https://open.uns.ac.rs/handle/123456789/14277
ISSN:	03043975
DOI:	10.1016/0304-3975(94)90279-8
Налази се у колекцијама:	PMF Publikacije/Publications