On a First-Order Bi-Sorted Semantically Closed Language. - Fernanda Birolli Abrahão; Edelcio Gonçalves de Souza (Stud Logica, 2025)