RT journal article
T1 Bounded and multi-adjoint lattice algebraizable logics
A1 Cornejo Piñero, María Eugenia
A1 Esteva, Francesc
A1 Fariñas del Cerro, Luis
A1 Godo, Lluis
A1 Medina Moreno, Jesús
A2 Matemáticas
K1 Algebraizable logic
K1 Bounded poset
K1 Fuzzy logic
K1 Multi-adjoint algebra
AB Nowadays is critical to complement Artificial Intelligence (AI) systems, such as those based on Deep Learning and Generative AI, by robust and trustworthy methodologies like different useful mathematical tools, such as (fuzzy) logic, formal concept analysis, rough set theory, etc. Multi-adjoint algebras are flexible structures considered in many of these mathematical tools, which are fundamental for obtaining traceable and reliable information from data sets. Along this line, this paper aims at introducing an algebraizable logic having the quasi-variety of these algebras as its associated equivalent algebraic semantics. To do so, we first introduce a logic associated with bounded lattices with an implication and show it is algebraizable in the sense of Blok-Pigozzi. We then expand this base logic to another algebraizable logic able to properly capture the multi-adjoint framework. Furthermore, we also consider different extensions of the logics and their properties analysed.
PB Elsevier
SN 1873-4731
YR 2026
FD 2026-04-07
LK http://hdl.handle.net/10498/40488
UL http://hdl.handle.net/10498/40488
LA eng
DS Repositorio Institucional de la Universidad de Cádiz
RD 07-nov-2026