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.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | article | - |
item.cerifentitytype | Publications | - |
item.grantfulltext | open | - |
item.fulltext | Com Texto completo | - |
item.languageiso639-1 | en | - |
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 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.