Back-and-forth systems for fuzzy first-order models

This paper continues the study of model theory for fuzzy logics by addressing the fundamental issue of classifying models according to their first-order theory. Three different definitions of elementary equivalence for fuzzy first-order models are introduced and separated by suitable counterexamples...

Descripción completa

Detalles Bibliográficos
Autores: Dellunde i Clavé, Pilar|||0000-0002-8198-5475, García-Cerdaña, Àngel, Noguera, Carles
Tipo de recurso: artículo
Fecha de publicación:2018
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:195647
Acceso en línea:https://ddd.uab.cat/record/195647
https://dx.doi.org/urn:doi:10.1016/j.fss.2018.01.016
Access Level:acceso abierto
Palabra clave:Mathematical fuzzy logic
First-order fuzzy logics
Non-classical logics
Elementary equivalence
Back-and-forth systems
Model theory
id ES_9e5fa9f70235103b4e06fa10e9def97d
oai_identifier_str oai:ddd.uab.cat:195647
network_acronym_str ES
network_name_str España
repository_id_str
spelling Back-and-forth systems for fuzzy first-order modelsDellunde i Clavé, Pilar|||0000-0002-8198-5475García-Cerdaña, ÀngelNoguera, CarlesMathematical fuzzy logicFirst-order fuzzy logicsNon-classical logicsElementary equivalenceBack-and-forth systemsModel theoryThis paper continues the study of model theory for fuzzy logics by addressing the fundamental issue of classifying models according to their first-order theory. Three different definitions of elementary equivalence for fuzzy first-order models are introduced and separated by suitable counterexamples. We propose several back-and-forth conditions, based both on classical two-sorted structures and on non-classical structures, that are useful to obtain elementary equivalence in particular cases as we illustrate with several examples 22018-01-0120182018-01-01Articlehttp://purl.org/coar/resource_type/c_6501SMURhttp://purl.org/coar/version/c_71e4c1898caa6e32info:eu-repo/semantics/articleapplication/pdfhttps://ddd.uab.cat/record/195647https://dx.doi.org/urn:doi:10.1016/j.fss.2018.01.016reponame: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:1956472026-06-06T12:50:31Z
dc.title.none.fl_str_mv Back-and-forth systems for fuzzy first-order models
title Back-and-forth systems for fuzzy first-order models
spellingShingle Back-and-forth systems for fuzzy first-order models
Dellunde i Clavé, Pilar|||0000-0002-8198-5475
Mathematical fuzzy logic
First-order fuzzy logics
Non-classical logics
Elementary equivalence
Back-and-forth systems
Model theory
title_short Back-and-forth systems for fuzzy first-order models
title_full Back-and-forth systems for fuzzy first-order models
title_fullStr Back-and-forth systems for fuzzy first-order models
title_full_unstemmed Back-and-forth systems for fuzzy first-order models
title_sort Back-and-forth systems for fuzzy first-order models
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 Mathematical fuzzy logic
First-order fuzzy logics
Non-classical logics
Elementary equivalence
Back-and-forth systems
Model theory
topic Mathematical fuzzy logic
First-order fuzzy logics
Non-classical logics
Elementary equivalence
Back-and-forth systems
Model theory
description This paper continues the study of model theory for fuzzy logics by addressing the fundamental issue of classifying models according to their first-order theory. Three different definitions of elementary equivalence for fuzzy first-order models are introduced and separated by suitable counterexamples. We propose several back-and-forth conditions, based both on classical two-sorted structures and on non-classical structures, that are useful to obtain elementary equivalence in particular cases as we illustrate with several examples
publishDate 2018
dc.date.none.fl_str_mv 2
2018-01-01
2018
2018-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/195647
https://dx.doi.org/urn:doi:10.1016/j.fss.2018.01.016
url https://ddd.uab.cat/record/195647
https://dx.doi.org/urn:doi:10.1016/j.fss.2018.01.016
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_ 1869414821310496768
score 15,301603

Similares en LA Referencia