Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/8220
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Pinto, S. Marques | - |
dc.contributor.author | Oliveira-Martins, M. Teresa | - |
dc.contributor.author | Pinto, M. Céu | - |
dc.date.accessioned | 2009-02-09T14:22:52Z | - |
dc.date.available | 2009-02-09T14:22:52Z | - |
dc.date.issued | 2006 | en_US |
dc.identifier.citation | MLQ. 52:2 (2006) 134-150 | en_US |
dc.identifier.uri | https://hdl.handle.net/10316/8220 | - |
dc.description.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) | en_US |
dc.language.iso | eng | eng |
dc.rights | openAccess | eng |
dc.title | Monadic dynamic algebras | en_US |
dc.type | article | en_US |
dc.identifier.doi | 10.1002/malq.200510022 | en_US |
uc.controloAutoridade | Sim | - |
item.fulltext | Com Texto completo | - |
item.grantfulltext | open | - |
item.languageiso639-1 | en | - |
item.cerifentitytype | Publications | - |
item.openairetype | article | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
crisitem.author.researchunit | CMUC - Centre for Mathematics of the University of Coimbra | - |
crisitem.author.orcid | 0000-0002-2273-7076 | - |
Appears in Collections: | FCTUC Matemática - Artigos em Revistas Internacionais |
SCOPUSTM
Citations
4
checked on Sep 16, 2024
WEB OF SCIENCETM
Citations
10
4
checked on Sep 2, 2024
Page view(s) 50
479
checked on Sep 24, 2024
Download(s)
352
checked on Sep 24, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.