A Simple Decision Method for Syllogistic. - Frank Thomas Sautter; Gisele Dalva Secco (Diagrams, 2018)

Proceedings of the XX Encontro Brasileiro de Lógica. - Edward Hermann Haeusler; Ciro Russo; Gisele Dalva Secco (J. Log. Comput., 2025)

Contemporary Logic in Brazil - Proceedings of the XX Encontro Brasileiro de Lógica. - Edward Hermann Haeusler; Ciro Russo; Gisele Dalva Secco (Stud Logica, 2025)