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 NICOLÁS; RUEDA, LAURA
Revista:
INTERNATIONAL JOURNAL ON FUZZY SETS AND SYSTEMS
Editorial:
ELSEVIER SCIENCE BV
Referencias:
Año: 2021 vol. 407 p. 161 - 174
ISSN:
0165-0114
Resumen:
We study S5-modal (monadic) expansions of extensions of Háajek´s basic logicBL. Hájek proposed Hilbert-style systems axiomatizing these logics and weprove that completeness theorems for these logics follow from algebraic representationresults, namely, functional representations of nitely subdirectly irreduciblealgebras. We prove a general theorem linking these concepts and givetwo major applications, namely, for the S5-modal expansions of Lukasiewicz andGödel logics.
