INVESTIGADORES
BUSANICHE Manuela
artículos
Título:
Algebraic semantics for the minimum many-valued modal logic over Ł
Autor/es:
BUSANICHE, MANUELA; CORDERO, PENÉLOPE; RODRIGUEZ, RICARDO OSCAR
Revista:
INTERNATIONAL JOURNAL ON FUZZY SETS AND SYSTEMS
Editorial:
Elsevier
Referencias:
Año: 2022 vol. 431 p. 94 - 109
ISSN:
0165-0114
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.
