Proceedings of the XX Encontro Brasileiro de Lógica

Journal Article Proceedings of the XX Encontro Brasileiro de Lógica Get access Edward Hermann Haeusler, Edward Hermann Haeusler Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, Rio de Janeiro, Brazil Search for other works by this author on: Oxford Academic Google Scholar Ciro Russo, Ciro Russo Departamento de Matemática, Universidade Federal da Bahia, Salvador, Bahia, Brazil Corresponding author: ciro.russo@ufba.br Search for other works by this author on: Oxford Academic Google Scholar Gisele Secco Gisele Secco Department of Philosophy, California State University, San Bernardino, CA, USA Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, exae047, https://doi.org/10.1093/logcom/exae047 Published: 30 August 2024 Article history Received: 01 August 2024 Accepted: 01 August 2024 Published: 30 August 2024