Induced morphisms between Heyting-valued models. - José Goudet Alvin; Arthur Francisco Schwerz Cahali; Hugo Luiz Mariano (FLAP, 2022)