Artículo
Algebraic semantics for the minimum many-valued modal logic over Łn
Fecha de publicación:
08/2021
Editorial:
Elsevier
Revista:
International Journal On Fuzzy Sets And Systems
ISSN:
0165-0114
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
For 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.
Palabras clave:
COMPLEX ALGEBRAS
,
MANY-VALUED MODAL LOGICS
,
MV-ALGEBRAS
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(CCT - TANDIL)
Articulos de CTRO CIENTIFICO TECNOLOGICO CONICET - TANDIL
Articulos de CTRO CIENTIFICO TECNOLOGICO CONICET - TANDIL
Citación
Busaniche, 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
Compartir
Altmétricas