Completeness for monadic fuzzy logics via functional algebras

dc.creatorCastaño, Diego Nicolás
dc.creatorCimadamore, Cecilia Rossana
dc.creatorDíaz Varela, José Patricio
dc.creatorRueda, Laura Alicia
dc.date.accessioned2021-04-22T21:19:36Z
dc.date.accessioned2022-10-15T02:33:05Z
dc.date.available2021-04-22T21:19:36Z
dc.date.available2022-10-15T02:33:05Z
dc.date.created2021-04-22T21:19:36Z
dc.date.issued2021-03-01
dc.identifierCastañ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.identifier0165-0114
dc.identifierhttp://hdl.handle.net/11336/130734
dc.identifierCONICET Digital
dc.identifierCONICET
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/4335560
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.
dc.languageeng
dc.publisherElsevier Science
dc.relationinfo:eu-repo/semantics/altIdentifier/url/https://linkinghub.elsevier.com/retrieve/pii/S0165011420300464
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.fss.2020.02.002
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subjectMONADIC LOGIC
dc.subjectBASIC LOGIC
dc.subjectCOMPLETENESS THEOREM
dc.subjectFUNCTIONAL ALGEBRAS
dc.subjectLUKASIEWICZ LOGIC
dc.subjectGÖDEL LOGIC
dc.titleCompleteness for monadic fuzzy logics via functional algebras
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion


Este ítem pertenece a la siguiente institución