Sheaves on quantales and their truth values - Tenorio, Ana Luiza; Mendes, Caio de Andrade; Mariano, Hugo Luiz (Brazilian Logic Conference - EBL 2025, 2025)