A Stone-type duality for semilattices with adjunctions. - Belén Gimenez; Gustavo Pelaitay; William Zuluaga (J. Log. Comput., 2025)