Completeness for monadic fuzzy logics via functional algebras

Volver a la Vista simple
dc.conicet.fuenteindividual
dc.conicet.organizacionConsejo 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
dc.conicet.organizacionConsejo 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
dc.conicet.organizacionConsejo 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
dc.conicet.organizacionConsejo 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
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.produccionid8783633
dc.contributor.authorCastaño, Diego Nicolás
dc.contributor.authorCimadamore, Cecilia Rossana
dc.contributor.authorDíaz Varela, José Patricio
dc.contributor.authorRueda, Laura Alicia
dc.date.accessioned2021-04-22T21:19:36Z
dc.date.available2021-04-22T21:19:36Z
dc.date.issued2021-03-01
dc.date.updated2020-06-25T16:07:14Z
dc.description.abstractWe 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.es
dc.description.filFil: 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.filFil: 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.filFil: 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.filFil: 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.formatapplication/pdfes
dc.identifier.citationCastañ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-174es
dc.identifier.institucionalCONICET
dc.identifier.issn0165-0114es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/130734
dc.journal.ciudadAmsterdames
dc.journal.pagination161-174es
dc.journal.paisPaíses Bajoses
dc.journal.titleFuzzy Sets and Systemses
dc.journal.volume407es
dc.language.isoenges
dc.publisherElsevier Sciencees
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://linkinghub.elsevier.com/retrieve/pii/S0165011420300464
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.fss.2020.02.002
dc.rightsinfo:eu-repo/semantics/restrictedAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectMONADIC LOGICes
dc.subjectBASIC LOGICes
dc.subjectCOMPLETENESS THEOREMes
dc.subjectFUNCTIONAL ALGEBRASes
dc.subjectLUKASIEWICZ LOGICes
dc.subjectGÖDEL LOGICes
dc.subject.classificationMatemática Puraes
dc.subject.classificationMatemáticases
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleCompleteness for monadic fuzzy logics via functional algebrases
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.42a1c3bf-9f4b-442b-88f8-fb38ff8e0d32_B.pdf
Tamaño:
360.78 KB
Formato:
Adobe Portable Document Format
Descripción:
Solicitar

Colecciones

Articulos(INMABB)
Volver a la Vista simple