On elementary equivalence in fuzzy predicate logics

Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(...

Descripción completa

Detalles Bibliográficos
Autores: Dellunde i Clavé, Pilar|||0000-0002-8198-5475, Esteva Massaguer, Francesc
Tipo de recurso: artículo
Fecha de publicación:2013
País:España
Institución:Universitat Autònoma de Barcelona
Repositorio:Dipòsit Digital de Documents de la UAB
Idioma:inglés
OAI Identifier:oai:ddd.uab.cat:153512
Acceso en línea:https://ddd.uab.cat/record/153512
https://dx.doi.org/urn:doi:10.1007/978-3-642-14049-5_76
Access Level:acceso abierto
Palabra clave:Mathematical logic and foundations
Model theory
Fuzzy predicate logics
Elementary extensions
Witnessed models
Quasi-witnessed models
id ES_fcd2273ba2f66c8c372c650d6e8acdf3
oai_identifier_str oai:ddd.uab.cat:153512
network_acronym_str ES
network_name_str España
repository_id_str
spelling On elementary equivalence in fuzzy predicate logicsDellunde i Clavé, Pilar|||0000-0002-8198-5475Esteva Massaguer, FrancescMathematical logic and foundationsModel theoryFuzzy predicate logicsElementary extensionsWitnessed modelsQuasi-witnessed modelsOur work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863-880, 2006, Conjectures 1 and 2). We investigate also the properties of elementary extensions in witnessed and quasi-witnessed theories, generalizing some results of Section 7 of Hájek and Cintula (J Symb Log 71(3):863-880, 2006) and of Section 4 of Cerami and Esteva (Arch Math Log 50(5/6):625-641, 2011) to non-exhaustive models 22013-01-0120132013-01-01Articlehttp://purl.org/coar/resource_type/c_6501SMURhttp://purl.org/coar/version/c_71e4c1898caa6e32info:eu-repo/semantics/articleapplication/pdfhttps://ddd.uab.cat/record/153512https://dx.doi.org/urn:doi:10.1007/978-3-642-14049-5_76reponame: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:1535122026-06-06T12:50:31Z
dc.title.none.fl_str_mv On elementary equivalence in fuzzy predicate logics
title On elementary equivalence in fuzzy predicate logics
spellingShingle On elementary equivalence in fuzzy predicate logics
Dellunde i Clavé, Pilar|||0000-0002-8198-5475
Mathematical logic and foundations
Model theory
Fuzzy predicate logics
Elementary extensions
Witnessed models
Quasi-witnessed models
title_short On elementary equivalence in fuzzy predicate logics
title_full On elementary equivalence in fuzzy predicate logics
title_fullStr On elementary equivalence in fuzzy predicate logics
title_full_unstemmed On elementary equivalence in fuzzy predicate logics
title_sort On elementary equivalence in fuzzy predicate logics
dc.creator.none.fl_str_mv Dellunde i Clavé, Pilar|||0000-0002-8198-5475
Esteva Massaguer, Francesc
author Dellunde i Clavé, Pilar|||0000-0002-8198-5475
author_facet Dellunde i Clavé, Pilar|||0000-0002-8198-5475
Esteva Massaguer, Francesc
author_role author
author2 Esteva Massaguer, Francesc
author2_role author
dc.subject.none.fl_str_mv Mathematical logic and foundations
Model theory
Fuzzy predicate logics
Elementary extensions
Witnessed models
Quasi-witnessed models
topic Mathematical logic and foundations
Model theory
Fuzzy predicate logics
Elementary extensions
Witnessed models
Quasi-witnessed models
description Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863-880, 2006, Conjectures 1 and 2). We investigate also the properties of elementary extensions in witnessed and quasi-witnessed theories, generalizing some results of Section 7 of Hájek and Cintula (J Symb Log 71(3):863-880, 2006) and of Section 4 of Cerami and Esteva (Arch Math Log 50(5/6):625-641, 2011) to non-exhaustive models
publishDate 2013
dc.date.none.fl_str_mv 2
2013-01-01
2013
2013-01-01
dc.type.none.fl_str_mv Article
http://purl.org/coar/resource_type/c_6501
SMUR
http://purl.org/coar/version/c_71e4c1898caa6e32
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://ddd.uab.cat/record/153512
https://dx.doi.org/urn:doi:10.1007/978-3-642-14049-5_76
url https://ddd.uab.cat/record/153512
https://dx.doi.org/urn:doi:10.1007/978-3-642-14049-5_76
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_ 1869425484509478912
score 15,301603

Similares en LA Referencia