ICC   25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Algebraic study of possibilistic BL-logic
Autor/es:
MANUELA BUSANICHE; RICARDO O. RODRIGUEZ; PENÉLOPE CORDERO
Lugar:
Vancouver
Reunión:
Workshop; Woman in Logic 2019; 2019
Institución organizadora:
Simon Fraser University
Resumen:
In [2], we dene the class of Pseudomonadic BL-algebras (PBL-algebras for short) as an algebraic approach to possibilistic BL-logic. In this work, we show that, given a possibilistic BL-frame, its associated complex algebra is a special case of PBL-algebra, namely c-PBL-algebra. In this sense, the complex c-PBL-algebras algebras allow to establish a connection between relational and algebraic semantics and, taking into account that notions like completeness and denability can be studied through these algebras, we focus to characterize the subdirectly irreducible members in this class. For this purpose, over a complex c-PBL-algebra, we begin by identifying the pseudomonadic lters for each of the most important subvarieties of BL. And subsequently, since the congruences are in correspondence with these lters, we show necessary and sucient conditions to obtain subdirectly irreducible complex c-PBL-algebras.