Publicación:
Characterizing finite-valuedness

Vista sencilla de ítem
dc.contributor.authorCaleiro, Carlos
dc.contributor.authorMarcelino, Sérgio
dc.contributor.authorRivieccio, Umberto
dc.date.accessioned2024-12-02T12:40:56Z
dc.date.available2024-12-02T12:40:56Z
dc.date.issued2018-08-15
dc.descriptionEste es el manuscrito aceptado del artículo. La versión registrada fue publicada por primera vez en Fuzzy Sets and Systems, 345 (2018), pp. 113-125; está disponible en línea en el sitio web del editor: https://doi.org/10.1016/j.fss.2017.10.014 This is the accepted manuscript of the article. The registered version was first published in Fuzzy Sets and Systems, 345 (2018), pp. 113-125; It is available online at the publisher's website: https://doi.org/10.1016/j.fss.2017.10.014
dc.description.abstractWe introduce properties of consequence relations that provide abstract counterparts of different notions of finite-valuedness in logic. In particular, we obtain characterizations of logics that are determined (i) by a single finite matrix, (ii) by a finite set of finite matrices, and (iii) by a set of n-generated matrices for some natural number n. A crucial role is played in our proofs by two closely related notions, local tabularity and local finiteness.en
dc.description.versionversión final
dc.identifier.citationCarlos Caleiro, Sérgio Marcelino, Umberto Rivieccio,, Characterizing finite-valuedness. Fuzzy Sets and Systems, 345 (2018), pp. 113-125; https://doi.org/10.1016/j.fss.2017.10.014
dc.identifier.doihttps://doi.org/10.1016/j.fss.2017.10.014
dc.identifier.issn0165-0114; e-ISSN: 1872-6801
dc.identifier.urihttps://hdl.handle.net/20.500.14468/24638
dc.journal.titleFuzzy Sets and Systems
dc.journal.volume345
dc.language.isoen
dc.page.final125
dc.page.initial113
dc.publisherElsevier
dc.relation.centerFacultades y escuelas::Facultad de Filosofía
dc.relation.departmentLógica, Historia y Filosofía de la Ciencia
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/deed.es
dc.subject11 Lógica
dc.subject.keywordslogical matrix semanticses
dc.subject.keywordsmany-valuednesses
dc.subject.keywordsfinite-valuednessen
dc.subject.keywordsstrong finitenessen
dc.subject.keywordslocal tabularityen
dc.subject.keywordslocal finitenessen
dc.subject.keywordscancellationen
dc.subject.keywordsfinite- determinednessen
dc.titleCharacterizing finite-valuednessen
dc.typeartículoes
dc.typejournal articleen
dspace.entity.typePublication
relation.isAuthorOfPublication78477d31-191f-4cbb-b9ff-32b8ec63d72b
relation.isAuthorOfPublication.latestForDiscovery78477d31-191f-4cbb-b9ff-32b8ec63d72b
Archivos
Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Rivieccio_Umberto_CharacterizingFinit.pdf
Tamaño:
447.62 KB
Formato:
Adobe Portable Document Format
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
3.62 KB
Formato:
Item-specific license agreed to upon submission
Descripción:
Descargar
Colecciones
Artículos y papers