Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/8220
Title: | Monadic dynamic algebras | Authors: | Pinto, S. Marques Oliveira-Martins, M. Teresa Pinto, M. Céu |
Issue Date: | 2006 | Citation: | MLQ. 52:2 (2006) 134-150 | Abstract: | 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 | Rights: | openAccess |
Appears in Collections: | FCTUC Matemática - Artigos em Revistas Internacionais |
Show full item record
SCOPUSTM
Citations
4
checked on Oct 14, 2024
WEB OF SCIENCETM
Citations
10
4
checked on Oct 2, 2024
Page view(s) 50
480
checked on Oct 15, 2024
Download(s)
356
checked on Oct 15, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.