INMABB 05456
INSTITUTO DE MATEMATICA BAHIA BLANCA
Unidad Ejecutora - UE
artículos
Título:
Completeness for monadic fuzzy logics via functional algebras
Autor/es:
CIMADAMORE, CECILIA; DÍAZ VARELA, JOSÉ PATRICIO; CASTAÑO, DIEGO; RUEDA, LAURA
Revista:
FUZZY SETS AND SYSTEMS
Editorial:
ELSEVIER SCIENCE BV
Referencias:
Lugar: Amsterdam; Año: 2020 vol. 407 p. 161 - 174
ISSN:
0165-0114
Resumen:
We study S5-modal (monadic) expansions of extensions of Hájek´s basic logic BL. 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 Lukasiewicz and Gödel logics.
