English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/139430
Share/Impact:
Statistics
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:
DC FieldValueLanguage
dc.contributor.authorDellunde, Pilar-
dc.contributor.authorGarcía-Cerdaña, Àngel-
dc.contributor.authorNoguera, Carles-
dc.date.accessioned2016-10-26T15:50:27Z-
dc.date.available2016-10-26T15:50:27Z-
dc.date.issued2016-
dc.identifierdoi: 10.1093/jigpal/jzw009-
dc.identifierissn: 1368-9894-
dc.identifier.citationLogic Journal of the IGPL 24: 321- 345 (2016)-
dc.identifier.urihttp://hdl.handle.net/10261/139430-
dc.description.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.-
dc.description.sponsorshipDellunde and García-Cerdaña are supported by EdeTRI (TIN2012-39348-C02-01); Dellunde is also supported by the Spanish project MILESS (TIN2013-45039-P) and the grant 2014SGR-118 from the Generalitat de Catalunya; García-Cerdaña is also supported by the Spanish MICINN project Lógica algebraica y lógicas no clásicas (MTM2011-25747) and the grant 2014SGR-788 from the Generalitat de Catalunya; Noguera is supported by the project GA13-14654S of the Czech Science Foundation and the FP7-PEOPLE-2009-IRSES project MaToMUVI (PIRSES-GA-2009-247584).-
dc.publisherOxford University Press-
dc.relationMINECO/ICTI2013-2016/TIN2013-45039-P-
dc.relationinfo:eu-repo/grantAgreement/EC/FP7/247584-
dc.relation.isversionofPostprint-
dc.rightsopenAccess-
dc.subjectModel theory-
dc.subjectFirst-order predicate logics-
dc.subjectNon-classical logics-
dc.subjectLöwenheim-Skolem theorems-
dc.subjectAlgebraizable logics-
dc.titleLöwenheim-Skolem theorems for non-classical first-order algebraizable logics-
dc.typeartículo-
dc.identifier.doi10.1093/jigpal/jzw009-
dc.date.updated2016-10-26T15:50:27Z-
dc.description.versionPeer Reviewed-
dc.language.rfc3066eng-
dc.contributor.funderCzech Science Foundation-
dc.contributor.funderMinisterio de Ciencia e Innovación (España)-
dc.contributor.funderGeneralitat de Catalunya-
dc.contributor.funderEuropean Commission-
dc.relation.csic-
dc.identifier.funderhttp://dx.doi.org/10.13039/501100002809es_ES
dc.identifier.funderhttp://dx.doi.org/10.13039/501100000780es_ES
dc.identifier.funderhttp://dx.doi.org/10.13039/501100004837es_ES
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
LJIGPL_24(3)2016.pdf469,79 kBAdobe PDFThumbnail
View/Open
Show simple item record
 

Related articles:


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