Algebraic semantics for the minimum many-valued modal logic over Łn

dc.creatorBusaniche, Manuela
dc.creatorCordero González, Penélope
dc.creatorRodriguez, Ricardo Oscar
dc.date.accessioned2022-06-24T15:46:11Z
dc.date.accessioned2022-10-14T21:45:54Z
dc.date.available2022-06-24T15:46:11Z
dc.date.available2022-10-14T21:45:54Z
dc.date.created2022-06-24T15:46:11Z
dc.date.issued2021-08
dc.identifierBusaniche, Manuela; Cordero González, Penélope; Rodriguez, Ricardo Oscar; Algebraic semantics for the minimum many-valued modal logic over Łn; Elsevier; International Journal On Fuzzy Sets And Systems; 431; 8-2021; 94-109
dc.identifier0165-0114
dc.identifierhttp://hdl.handle.net/11336/160502
dc.identifierCONICET Digital
dc.identifierCONICET
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/4310229
dc.description.abstractFor each n∈N, we introduce the algebraic semantics for the minimum many-valued modal logic over the MV-chain with n elements. We prove that this quasivariety of algebras is generated by the complex algebras, obtaining as a consequence the completeness result of the logic with respect to the Kripke semantics. As a first step towards the study of this algebraic semantics, we study some congruences of the complex algebras.
dc.languageeng
dc.publisherElsevier
dc.relationinfo:eu-repo/semantics/altIdentifier/url/https://linkinghub.elsevier.com/retrieve/pii/S0165011421002906
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.fss.2021.08.010
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subjectCOMPLEX ALGEBRAS
dc.subjectMANY-VALUED MODAL LOGICS
dc.subjectMV-ALGEBRAS
dc.titleAlgebraic semantics for the minimum many-valued modal logic over Łn
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