Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/11232
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Pinto, M. C. | - |
dc.date.accessioned | 2009-08-27T14:27:56Z | - |
dc.date.available | 2009-08-27T14:27:56Z | - |
dc.date.issued | 1998 | - |
dc.identifier.citation | Pré-Publicações DMUC. 98-22 (1998) | en_US |
dc.identifier.uri | https://hdl.handle.net/10316/11232 | - |
dc.description.abstract | For every poset (I; ) and every family .Gi /i2I of groups there exists a family of separable Kripke structures .Ki /i2I on the same set, such thatGi D Aut.Ki / andKi is subalgebra ofKj iff i j , for i; j 2 I . More generally, thiswork is concerned with representations of algebraic categories by means of the category of separable Kripke structures. Consequences thereof are mentioned. Thus, in contrast to the algebraic non-universality of the category of Boolean algebras we conclude the algebraic universality of the category of separable dynamic algebras. Perfect classes of Kripke structures are introduced. | en_US |
dc.description.sponsorship | JNICT (Programa de Formação e Mobilidade de Recursos Humanos BD1298 Cultural Agreement between Portugal and Czech Republic); Instituto de Telecomunicações. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Centro de Matemática da Universidade de Coimbra | en_US |
dc.rights | openAccess | eng |
dc.subject | Kripke structures | en_US |
dc.subject | Perfect class of Kripke structures | en_US |
dc.subject | Dynamic algebras | en_US |
dc.subject | Algebraic universality | en_US |
dc.title | Separable Kripke structures are algebraically universal | en_US |
dc.type | preprint | en_US |
item.openairecristype | http://purl.org/coar/resource_type/c_816b | - |
item.grantfulltext | open | - |
item.openairetype | preprint | - |
item.languageiso639-1 | en | - |
item.fulltext | Com Texto completo | - |
item.cerifentitytype | Publications | - |
Appears in Collections: | FCTUC Matemática - Vários |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Separable Kripke structures are algebraically universal.pdf | 335.31 kB | Adobe PDF | View/Open |
Page view(s)
344
checked on Aug 27, 2024
Download(s) 50
455
checked on Aug 27, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.