Artículo
Monadic BL-algebras: The equivalent algebraic semantics of Hájek's monadic fuzzy logic
Castaño, Diego Nicolás
; Cimadamore, Cecilia Rossana
; Díaz Varela, José Patricio
; Rueda, Laura Alicia
Fecha de publicación:
08/2017
Editorial:
Elsevier Science
Revista:
International Journal On Fuzzy Sets And Systems
ISSN:
0165-0114
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
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.
Palabras clave:
Bl-Algebras
,
Mathematical Fuzzy Logic
,
Monadic Logic
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(INMABB)
Articulos de INST.DE MATEMATICA BAHIA BLANCA (I)
Articulos de INST.DE MATEMATICA BAHIA BLANCA (I)
Citación
Castaño, Diego Nicolás; Cimadamore, Cecilia Rossana; Díaz Varela, José Patricio; Rueda, Laura Alicia; Monadic BL-algebras: The equivalent algebraic semantics of Hájek's monadic fuzzy logic; Elsevier Science; International Journal On Fuzzy Sets And Systems; 320; 8-2017; 40-59
Compartir
Altmétricas