Por favor, use este identificador para citar o enlazar a este item:
http://hdl.handle.net/10261/139430
COMPARTIR / EXPORTAR:
SHARE CORE BASE | |
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE | |
Título: | Löwenheim-Skolem theorems for non-classical first-order algebraizable logics |
Autor: | Dellunde, Pilar CSIC ORCID ; García-Cerdaña, Àngel CSIC ORCID ; Noguera, Carles CSIC ORCID | Palabras clave: | Model theory First-order predicate logics Non-classical logics Löwenheim-Skolem theorems Algebraizable logics |
Fecha de publicación: | 2016 | Editor: | Oxford University Press | Citación: | Logic Journal of the IGPL 24: 321- 345 (2016) | Resumen: | This article is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of firstorder systems based on algebraizable logics, we study several notions of homomorphisms between models and find suitable definitions of elementary homomorphism, elementary substructure and elementary equivalence. Then we obtain (downward and upward) Löwenheim-Skolem theorems for these non-classical logics, by direct proofs and by describing their models as classical two-sorted models. | URI: | http://hdl.handle.net/10261/139430 | DOI: | 10.1093/jigpal/jzw009 | Identificadores: | doi: 10.1093/jigpal/jzw009 issn: 1368-9894 |
Aparece en las colecciones: | (IIIA) Artículos |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
LJIGPL_24(3)2016.pdf | 469,79 kB | Adobe PDF | Visualizar/Abrir |
CORE Recommender
SCOPUSTM
Citations
18
checked on 12-abr-2024
WEB OF SCIENCETM
Citations
15
checked on 27-feb-2024
Page view(s)
259
checked on 16-abr-2024
Download(s)
249
checked on 16-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.