Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10316/8220
Título: | Monadic dynamic algebras | Autor: | Pinto, S. Marques Oliveira-Martins, M. Teresa Pinto, M. Céu |
Data: | 2006 | Citação: | MLQ. 52:2 (2006) 134-150 | Resumo: | The main purpose of this work is to introduce the class of the monadic dynamic algebras (dynamic algebras with one quantifier). Similarly to a theorem of Kozen we establish that every separable monadic dynamic algebra is isomorphic to a monadic (possibly non-standard) Kripke structure. We also classify the simple (monadic) dynamic algebras. Moreover, in the dynamic duality theory, we analyze the conditions under which a hemimorphism of a dynamic algebra into itself defines a quantifier. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim) | URI: | https://hdl.handle.net/10316/8220 | DOI: | 10.1002/malq.200510022 | Direitos: | openAccess |
Aparece nas coleções: | FCTUC Matemática - Artigos em Revistas Internacionais |
Mostrar registo em formato completo
Citações SCOPUSTM
4
Visto em 14/out/2024
Citações WEB OF SCIENCETM
10
4
Visto em 2/out/2024
Visualizações de página 50
480
Visto em 15/out/2024
Downloads
356
Visto em 15/out/2024
Google ScholarTM
Verificar
Altmetric
Altmetric
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.