@misc{misc5fc632fe,
title   = {Induced morphisms between Heyting-valued models},
author = {Alvim, José Goudet and Cahali, Arthur Francisco Schwerz and Mariano, Hugo Luiz},
year = {2022},
booktitle   = {Brazilian Logic Conference - EBL}
}