INVESTIGADORES
CASTAÑO Diego Nicolas
artículos
Título:
Completeness for monadic fuzzy logics via functional algebras
Autor/es:
CASTAÑO, DIEGO NICOLÁS; CIMADAMORE, CECILIA; DÍAZ VARELA, JOSÉ PATRICIO; RUEDA, LAURA
Revista:
FUZZY SETS AND SYSTEMS
Editorial:
ELSEVIER SCIENCE BV
Referencias:
Lugar: Amsterdam; Año: 2020
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 Łukasiewicz and Gödel logics.
