On a first-order bi-sorted semantically closed language - Abrahão, Fernanda Birolli; Souza, Edelcio Gonçalves de (Studia logica, 2024)