Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/138174
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | Advances in the theory of μŁΠ algebras |
Autor: | Marchioni, Enrico; Spada, Luca | Palabras clave: | Real closed fields Free algebras Computational complexity Algebras |
Fecha de publicación: | 2011 | Editor: | Oxford University Press | Citación: | Logic Journal of the IGPL 19: 476- 489 (2011) | Resumen: | Recently an expansion of ŁΠ1/2 logic with fixed points has been considered [23]. In the present work we study the algebraic semantics of this logic, namely μŁΠ algebras, from algebraic, model theoretic and computational standpoints. We provide a characterisation of free μŁΠ algebras as a family of particular functions from [0,1]n to [0,1]. We show that the first-order theory of linearly ordered μŁΠ algebras enjoys quantifier elimination, being, more precisely, the model completion of the theory of linearly ordered ŁΠ1/2 algebras. Furthermore, we give a functional representation of any ŁΠ1/2 algebra in the style of Di Nola Theorem for MV-algebras and finally we prove that the equational theory of μŁΠ algebras is in PSPACE. © The Author 2010. Published by Oxford University Press. All rights reserved. | URI: | http://hdl.handle.net/10261/138174 | DOI: | 10.1093/jigpal/jzp089 | Identificadores: | doi: 10.1093/jigpal/jzp089 issn: 1367-0751 |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
LJIGPL19(3)_2011_476-89.pdf | 239,51 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
2
checked on 22-abr-2024
WEB OF SCIENCETM
Citations
1
checked on 26-feb-2024
Page view(s)
147
checked on 24-abr-2024
Download(s)
165
checked on 24-abr-2024
Google ScholarTM
Check
Altmetric
Altmetric
NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.