Mostrar el registro sencillo del ítem

dc.contributor.author
Castaño, Diego Nicolás  
dc.contributor.author
Cimadamore, Cecilia Rossana  
dc.contributor.author
Díaz Varela, José Patricio  
dc.contributor.author
Rueda, Laura Alicia  
dc.date.available
2021-04-22T21:19:36Z  
dc.date.issued
2021-03-01  
dc.identifier.citation
Castaño, Diego Nicolás; Cimadamore, Cecilia Rossana; Díaz Varela, José Patricio; Rueda, Laura Alicia; Completeness for monadic fuzzy logics via functional algebras; Elsevier Science; Fuzzy Sets and Systems; 407; 1-3-2021; 161-174  
dc.identifier.issn
0165-0114  
dc.identifier.uri
http://hdl.handle.net/11336/130734  
dc.description.abstract
We study S5-modal (monadic) expansions of extensions of Hájek's basic logic . Hájek proposed Hilbert-style systems axiomatizing these logics and we prove that completeness theorems for these logics follow from algebraic representation results, namely, functional representations of finitely subdirectly irreducible algebras. We prove a general theorem linking these concepts and give two major applications, namely, for the S5-modal expansions of Łukasiewicz and Gödel logics.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Elsevier Science  
dc.rights
info:eu-repo/semantics/restrictedAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
MONADIC LOGIC  
dc.subject
BASIC LOGIC  
dc.subject
COMPLETENESS THEOREM  
dc.subject
FUNCTIONAL ALGEBRAS  
dc.subject
LUKASIEWICZ LOGIC  
dc.subject
GÖDEL LOGIC  
dc.subject.classification
Matemática Pura  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Completeness for monadic fuzzy logics via functional algebras  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2020-06-25T16:07:14Z  
dc.journal.volume
407  
dc.journal.pagination
161-174  
dc.journal.pais
Países Bajos  
dc.journal.ciudad
Amsterdam  
dc.description.fil
Fil: Castaño, Diego Nicolás. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina  
dc.description.fil
Fil: Cimadamore, Cecilia Rossana. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina  
dc.description.fil
Fil: Díaz Varela, José Patricio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina  
dc.description.fil
Fil: Rueda, Laura Alicia. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina  
dc.journal.title
Fuzzy Sets and Systems  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://linkinghub.elsevier.com/retrieve/pii/S0165011420300464  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.fss.2020.02.002  

Archivos asociados
Tamaño: 360.7Kb
Formato: PDF
.