INMABB   05456
INSTITUTO DE MATEMATICA BAHIA BLANCA
Unidad Ejecutora - UE
artículos
Título:
Monadic BL-algebras: The equivalent algebraic semantics of Hájek's monadic fuzzy logic
Autor/es:
CIMADAMORE, CECILIA; CASTAÑO, DIEGO NICOLÁS; RUEDA, LAURA; DÍAZ VARELA, JOSÉ PATRICIO
Revista:
FUZZY SETS AND SYSTEMS
Editorial:
ELSEVIER SCIENCE BV
Referencias:
Lugar: Amsterdam; Año: 2016
ISSN:
0165-0114
Resumen:
In this article we introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators ∀ and ∃. After a study of the basic properties of this variety we show that this class is the equivalent algebraic semantics of the monadic fragment of Hájek´s basic predicate logic. In addition, we start a systematic study of the main subvarieties of monadic BL-algebras, some of which constitute the algebraic semantics of well-known monadic logics: monadic Gödel logic and monadic Łukasiewicz logic. In the last section we give a complete characterization of totally ordered monadic BL-algebras.