English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/139430
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:


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

AuthorsDellunde, Pilar ; García-Cerdaña, Àngel ; Noguera, Carles
KeywordsModel theory
First-order predicate logics
Non-classical logics
Löwenheim-Skolem theorems
Algebraizable logics
Issue Date2016
PublisherOxford University Press
CitationLogic Journal of the IGPL 24: 321- 345 (2016)
AbstractThis 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.
Identifiersdoi: 10.1093/jigpal/jzw009
issn: 1368-9894
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
LJIGPL_24(3)2016.pdf469,79 kBAdobe PDFThumbnail
Show full item record
Review this work

Related articles:

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.