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

This article is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of first-order systems based on algebraizable logics, we study several notions of homomorphisms between models and find suitable definitions of elementary homomorphism, elementary su...

ver descrição completa

Detalhes bibliográficos
Autores: Dellunde i Clavé, Pilar|||0000-0002-8198-5475, García-Cerdaña, Àngel, Noguera, Carles
Tipo de documento: artigo
Data de publicação:2016
País:España
Recursos:Universitat Autònoma de Barcelona
Repositório:Dipòsit Digital de Documents de la UAB
Idioma:inglês
OAI Identifier:oai:ddd.uab.cat:154680
Acesso em linha:https://ddd.uab.cat/record/154680
https://dx.doi.org/urn:doi:10.1093/jigpal/jzw009
Access Level:Acceso aberto
Palavra-chave:Lowenheim-Skolem theorems
First-order predicate logics
Non-classical logics
Algebraizable logics
Model theory
id ES_492940ca985a1debfdef09c479da19df
oai_identifier_str oai:ddd.uab.cat:154680
network_acronym_str ES
network_name_str España
repository_id_str
spelling Löwenheim-Skolem theorems for non-classical first-order algebraizable logicsDellunde i Clavé, Pilar|||0000-0002-8198-5475García-Cerdaña, ÀngelNoguera, CarlesLowenheim-Skolem theoremsFirst-order predicate logicsNon-classical logicsAlgebraizable logicsModel theoryThis article is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of first-order 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) Lowenheim-Skolem theorems for these non-classical logics, by direct proofs and by describing their models as classical two-sorted models 22016-01-0120162016-01-01Articlehttp://purl.org/coar/resource_type/c_6501AMhttp://purl.org/coar/version/c_ab4af688f83e57aainfo:eu-repo/semantics/articleapplication/pdfhttps://ddd.uab.cat/record/154680https://dx.doi.org/urn:doi:10.1093/jigpal/jzw009reponame:Dipòsit Digital de Documents de la UABinstname:Universitat Autònoma de BarcelonaInglésengopen accesshttp://purl.org/coar/access_right/c_abf2Aquest material està protegit per drets d'autor i/o drets afins. Podeu utilitzar aquest material en funció del que permet la legislació de drets d'autor i drets afins d'aplicació al vostre cas. Per a d'altres usos heu d'obtenir permís del(s) titular(s) de drets.https://rightsstatements.org/vocab/InC/1.0/info:eu-repo/semantics/openAccessoai:ddd.uab.cat:1546802026-06-06T12:50:31Z
dc.title.none.fl_str_mv Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
title Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
spellingShingle Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
Dellunde i Clavé, Pilar|||0000-0002-8198-5475
Lowenheim-Skolem theorems
First-order predicate logics
Non-classical logics
Algebraizable logics
Model theory
title_short Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
title_full Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
title_fullStr Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
title_full_unstemmed Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
title_sort Löwenheim-Skolem theorems for non-classical first-order algebraizable logics
dc.creator.none.fl_str_mv Dellunde i Clavé, Pilar|||0000-0002-8198-5475
García-Cerdaña, Àngel
Noguera, Carles
author Dellunde i Clavé, Pilar|||0000-0002-8198-5475
author_facet Dellunde i Clavé, Pilar|||0000-0002-8198-5475
García-Cerdaña, Àngel
Noguera, Carles
author_role author
author2 García-Cerdaña, Àngel
Noguera, Carles
author2_role author
author
dc.subject.none.fl_str_mv Lowenheim-Skolem theorems
First-order predicate logics
Non-classical logics
Algebraizable logics
Model theory
topic Lowenheim-Skolem theorems
First-order predicate logics
Non-classical logics
Algebraizable logics
Model theory
description This article is a contribution to the model theory of non-classical first-order predicate logics. In a wide framework of first-order 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) Lowenheim-Skolem theorems for these non-classical logics, by direct proofs and by describing their models as classical two-sorted models
publishDate 2016
dc.date.none.fl_str_mv 2
2016-01-01
2016
2016-01-01
dc.type.none.fl_str_mv Article
http://purl.org/coar/resource_type/c_6501
AM
http://purl.org/coar/version/c_ab4af688f83e57aa
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://ddd.uab.cat/record/154680
https://dx.doi.org/urn:doi:10.1093/jigpal/jzw009
url https://ddd.uab.cat/record/154680
https://dx.doi.org/urn:doi:10.1093/jigpal/jzw009
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
https://rightsstatements.org/vocab/InC/1.0/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
https://rightsstatements.org/vocab/InC/1.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Dipòsit Digital de Documents de la UAB
instname:Universitat Autònoma de Barcelona
instname_str Universitat Autònoma de Barcelona
reponame_str Dipòsit Digital de Documents de la UAB
collection Dipòsit Digital de Documents de la UAB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869407404922241024
score 15.301603

Registros relacionados