English   español  
Por favor, use este identificador para citar o enlazar a este item: http://hdl.handle.net/10261/139430
Compartir / Impacto:
Estadísticas
Add this article to your Mendeley library MendeleyBASE
Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Título

Löwenheim-Skolem theorems for non-classical first-order algebraizable logics

AutorDellunde, Pilar; Garcia-Cerdaña, Angel; Noguera, Carles
Palabras claveModel theory
First-order predicate logics
Non-classical logics
Löwenheim-Skolem theorems
Algebraizable logics
Fecha de publicación2016
EditorOxford University Press
CitaciónLogic Journal of the IGPL 24: 321- 345 (2016)
ResumenThis 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.
URIhttp://hdl.handle.net/10261/139430
DOI10.1093/jigpal/jzw009
Identificadoresdoi: 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.pdf469,79 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro completo
 


NOTA: Los ítems de Digital.CSIC están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.