logica-l

Índice cronológico

2023/05/04 [Logica-l] Artigo sobre Ayda Arruda e Itala D´Ottaviano, com entrevista da Itala Cesar Serbena
2023/05/04 [Logica-l] novo logo do grupo de pesquisa CAROL Joao Marcos
2023/05/03 [Logica-l] Re: referências sobre cardinalidade de conjuntos finitos 'samuel' via LOGICA-L
2023/05/03 [Logica-l] Re: referências sobre cardinalidade de conjuntos finitos 'samuel' via LOGICA-L
2023/04/30 [Logica-l] Collaboration Pharmaceuticals 'Susana Gomez' via LOGICA-L
2023/04/30 [Logica-l] adendo a minha mensagem anterior Jorge Petrucio Viana
2023/04/30 [Logica-l] referências sobre cardinalidade de conjuntos finitos Jorge Petrucio Viana
2023/04/29 [Logica-l] Fwd: PhDs in Logic 2023 Joao Marcos
2023/04/27 Re: [Logica-l] logic vs "formal methods" Walter Carnielli
2023/04/27 [Logica-l] logic vs "formal methods" Joao Marcos
2023/04/25 Re: [Logica-l] seminário EMAp Alexandre Rademaker
2023/04/25 [Logica-l] Fwd: [SBFA] 1º Prêmio da SBFA, edição 2023 Mateus Alves
2023/04/25 [Logica-l] DaLí 2023 - 3rd Call for Papers and !Deadline Extension! Elaine Pimentel
2023/04/24 [Logica-l] LUW April 26 - Probability Logics for Reasoning About Quantum Observations jean-yves beziau
2023/04/24 [Logica-l] Student Volunteer Program - CLMPST @ Buenos Aires, Argentina Damian Szmuc
2023/04/22 [Logica-l] Fwd: Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines] D. Ventura
2023/04/22 [Logica-l] Final CfP: Logical and Semantic Frameworks with Applications (LSFA 2023) [extended deadlines] D. Ventura
2023/04/22 Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Walter Carnielli
2023/04/22 [Logica-l] Re: GPT-4 está qualificado para trabalhar como um matemático? Cassiano Terra Rodrigues
2023/04/21 Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Joao Marcos
2023/04/21 Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Adolfo Neto
2023/04/21 Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Cleyton Slaviero
2023/04/20 Re: [Logica-l] II Dia Carol Blasio Itala Maria Loffredo D'Ottaviano
2023/04/20 Re: [Logica-l] seminário EMAp Eduardo Ochs
2023/04/20 Re: [Logica-l] seminário EMAp Valeria de Paiva
2023/04/20 Re: [Logica-l] II Dia Carol Blasio Thiago Nascimento da Silva
2023/04/20 Re: [Logica-l] II Dia Carol Blasio valeria.depaiva
2023/04/20 [Logica-l] seminário EMAp Alexandre Rademaker
2023/04/20 Re: [Logica-l] II Dia Carol Blasio Evelyn E.
2023/04/18 Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Joao Marcos
2023/04/18 Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Jorge Petrucio Viana
2023/04/18 [Logica-l] LUW April 19, 2023: An Intensional Formalization of Generic Statements by Hugolin Bergier jean-yves beziau
2023/04/18 Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Joao Marcos
2023/04/18 Re: [Logica-l] Mais uma vez, a MDPI e as publicações predatórias Joao Marcos
2023/04/18 [Logica-l] Mais uma vez, a MDPI e as publicações predatórias Walter Carnielli
2023/04/17 [Logica-l] Fwd: First issue of Annals of Mathematics and Philosophy Joao Marcos
2023/04/17 Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Walter Carnielli
2023/04/17 Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Aldo Figallo-Orellano
2023/04/17 Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Márcio Palmares
2023/04/17 [Logica-l] Re: Eleição para a Diretoria da SBL -- chapa inscrita Cassiano Terra Rodrigues
2023/04/17 Re: [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Julio Stern
2023/04/16 [Logica-l] GPT-4 está qualificado para trabalhar como um matemático? Joao Marcos
2023/04/16 [Logica-l] Sobre o CLMPST 2023 Elaine Pimentel
2023/04/16 [Logica-l] [SBL] O nosso "muito obrigado"! Elaine Pimentel
2023/04/16 [Logica-l] Eleição para a Diretoria da SBL -- chapa inscrita Elaine Pimentel
2023/04/16 [Logica-l] II Dia Carol Blasio: novo prazo -- 16 de abril (hoje) Elaine Pimentel
2023/04/16 [Logica-l] SBL apoia a proposta de um Dia Nacional de Repúdio à ditadura Elaine Pimentel
2023/04/16 [Logica-l] E-mails da SBL Elaine Pimentel
2023/04/15 [Logica-l] A New Approach to Computation Reimagines Artificial Intelligence Ruy Jose Guerra Barretto de Queiroz
2023/04/14 [Logica-l] LSFA 2023 2nd CFP Mauricio Ayala Rincon
2023/04/14 [Logica-l] 2nd Call For Papers: Logical and Semantic Frameworks with Applications (LSFA 2023) D. Ventura
2023/04/13 Re: [Logica-l] Seminário de Lógica Carioca - Iniciando a temporada de 2023 jean-yves beziau
2023/04/13 Re: [Logica-l] ChatGPT quis matar Newton da Costa Juan Carlos Agudelo Agudelo
2023/04/13 [Logica-l] Hoje as 11h de Brasilia: THE LOGICAL PROBLEM OF EVIL FROM A PARACONSISTENT PERSPECTIVE jean-yves beziau
2023/04/12 Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
2023/04/12 Re: [Logica-l] ChatGPT quis matar Newton da Costa 'samuel' via LOGICA-L
2023/04/12 Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
2023/04/12 Re: [Logica-l] ChatGPT quis matar Newton da Costa 'samuel' via LOGICA-L
2023/04/12 [Logica-l] [Deadline ext.] QM and Reality: Theoria Raoni Arroyo
2023/04/12 Re: [Logica-l] ChatGPT quis matar Newton da Costa Juan F. Meleiro
2023/04/12 Re: [Logica-l] ChatGPT quis matar Newton da Costa Aldo Figallo-Orellano
2023/04/12 Re: [Logica-l] ChatGPT quis matar Newton da Costa Alexandre Rademaker
2023/04/12 Re: [Logica-l] ChatGPT quis matar Newton da Costa Cassiano Terra Rodrigues
2023/04/12 [Logica-l] Final Call for Papers LFMTP'23 [extended abstract submission deadline, April 20] Carlos Olarte
2023/04/11 Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
2023/04/11 [Logica-l] THE LOGICAL PROBLEM OF EVIL FROM A PARACONSISTENT PERSPECTIVE: The Logic and Religion Webinar, April 13 (Thursday) Assis
2023/04/11 [Logica-l] Simbolização da Contradição - 13 de abril de 2023 às 17h - UFRJ - Rio de Janeiro - Centro jean-yves beziau
2023/04/10 Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
2023/04/10 Re: [Logica-l] Seminário de Lógica Carioca - Iniciando a temporada de 2023 Julio Stern
2023/04/10 [Logica-l] Fwd: HPS&ST April newsletter Valeria de Paiva
2023/04/10 [Logica-l] Pós-doutorado para negras, negros e negres na USP Renata Wassermann
2023/04/10 Re: [Logica-l] ChatGPT quis matar Newton da Costa Marcelo Finger
2023/04/10 [Logica-l] Seminário de Lógica Carioca - Iniciando a temporada de 2023 jean-yves beziau
2023/04/10 Re: [Logica-l] ChatGPT quis matar Newton da Costa Walter Carnielli
2023/04/10 Re: [Logica-l] ChatGPT quis matar Newton da Costa Marcelo Finger
2023/04/09 Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
2023/04/09 Re: [Logica-l] ChatGPT quis matar Newton da Costa Walter Carnielli
2023/04/09 Re: [Logica-l] ChatGPT quis matar Newton da Costa Joao Marcos
2023/04/09 Re: [Logica-l] ChatGPT quis matar Newton da Costa Aldo Figallo-Orellano
2023/04/09 [Logica-l] ChatGPT quis matar Newton da Costa Walter Carnielli
2023/04/07 [Logica-l] O futuro das sociedades científicas Joao Marcos
2023/04/05 [Logica-l] Logic in Question 10 - Sorbonne, Paris - April 24-25, 2023 jean-yves beziau
2023/04/03 [Logica-l] Fwd: Reminder: CfP special issue of AJL on Women in/and logic Valeria de Paiva
2023/04/02 [Logica-l] Fwd: Machine Learning and Logic: Fast and Slow Thinking Adolfo Neto
2023/04/01 [Logica-l] A lógica do casamento de Patati e Patatá jean-yves beziau
2023/03/31 [Logica-l] Final Call for Papers: Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'23) Carlos Olarte
2023/03/31 [Logica-l] Re: mapeamento da comunidade de Métodos Formais no Brasil Bruno Bentzen
2023/03/31 [Logica-l] EBL 2022 POST-CONFERENCE PUBLICATIONS: Deadline postponed Bruno Lopes
2023/03/31 [Logica-l] Fwd: [DL] SAPERE Book Series (Springer) - Indexed by SCOPUS Camilo Thorne
2023/03/30 Re: [Logica-l] Chocolate, LSD e MDPI jean-yves beziau
2023/03/30 Re: [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil Karina Roggia
2023/03/30 Re: [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil Marcelo Finger
2023/03/30 Re: [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil Eduardo Ochs
2023/03/30 Re: [Logica-l] Chocolate, LSD e MDPI Walter Carnielli
2023/03/30 Re: [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil Bruno Lopes
2023/03/30 [Logica-l] Chocolate, LSD e MDPI jean-yves beziau
2023/03/30 [Logica-l] mapeamento da comunidade de Métodos Formais no Brasil Joao Marcos
2023/03/30 Re: [Logica-l] Dana S. Scott: Seventy Years Using Fixed Points Elaine Pimentel
2023/03/29 Re: [Logica-l] Desafios do ChatGPT Joao Marcos
2023/03/29 [Logica-l] Dana S. Scott: Seventy Years Using Fixed Points Joao Marcos
2023/03/29 [Logica-l] Axioms jean-yves beziau
2023/03/28 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Julio Stern
2023/03/28 [Logica-l] PhD positions in philosophy (including philosophy and history of mathematics and logic) at Aix-Marseille University (France) Walter Carnielli
2023/03/28 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Aldo Figallo-Orellano
2023/03/28 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
2023/03/28 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Valeria de Paiva
2023/03/28 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
2023/03/28 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
2023/03/28 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Walter Carnielli
2023/03/28 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Mauricio Ayala-Rincón
2023/03/28 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Hermógenes Oliveira
2023/03/28 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Abilio Rodrigues Filho
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Walter Carnielli
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Hermógenes Oliveira
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Walter Carnielli
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Valeria de Paiva
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Joao Marcos
2023/03/27 [Logica-l] Logic - Language - Ontology by Urszula Wybraniec-Skardowska, LUW March 29 at 4pm CET jean-yves beziau
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Aldo Figallo-Orellano
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Elaine Pimentel
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Valeria de Paiva
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Walter Carnielli
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Aldo Figallo-Orellano
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Valeria de Paiva
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Aldo Figallo-Orellano
2023/03/27 [Logica-l] Fwd: CFP: 14th International Workshop on the Implementation of Logics Joao Marcos
2023/03/27 [Logica-l] Fwd: TPS Summer School and Workshop: Preliminary Call Joao Marcos
2023/03/27 Re: [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Walter Carnielli
2023/03/27 [Logica-l] Fwd: [CAROL / UFRN] Fwd: [CHAMADA] - Edição Especial revista Axioms Aldo Figallo-Orellano
2023/03/26 Re: [Logica-l] Theoretical Puppets Eduardo Ochs
2023/03/26 Re: [Logica-l] Theoretical Puppets Walter Carnielli
2023/03/26 Re: [Logica-l] Divulgação: Peirce, Escritos sobre Acaso, Probabilidade e Indução Itala Maria Loffredo D'Ottaviano
2023/03/26 Re: [Logica-l] Theoretical Puppets Valeria de Paiva
2023/03/26 [Logica-l] Theoretical Puppets Eduardo Ochs
2023/03/26 Re: [Logica-l] 17 anos de LOGICA-L Elaine Pimentel
2023/03/25 Re: [Logica-l] 17 anos de LOGICA-L Francisco Miraglia Neto
2023/03/25 Re: [Logica-l] 17 anos de LOGICA-L Walter Carnielli
2023/03/25 Re: [Logica-l] 17 anos de LOGICA-L Itala Maria Loffredo D'Ottaviano
2023/03/25 Re: [Logica-l] 17 anos de LOGICA-L Valeria de Paiva
2023/03/25 [Logica-l] 17 anos de LOGICA-L O Administrador da LOGICA-L
2023/03/24 [Logica-l] [Off Topic] Auxilio para desenvolvimento de projeto em IA Walter Carnielli
2023/03/23 Re: [Logica-l] Coletivo Lógica Viva: LIVE Logica e Ensino de Libras (21/3, 18hs) Elaine Pimentel
2023/03/23 [Logica-l] RECFIL e SBFA (Recife, 27-31/3) Marcos Silva
2023/03/23 [Logica-l] Fwd: Para difundir: XVII Congreso Dr. Antonio Monteiro Joao Marcos
2023/03/23 Re: [Logica-l] e por falar em números grandes... Marcelo Finger
2023/03/23 [Logica-l] e por falar em números grandes... Joao Marcos
2023/03/23 Re: [Logica-l] Numbers too big to imagine Valeria de Paiva
2023/03/23 [Logica-l] Numbers too big to imagine Joao Marcos
2023/03/23 [Logica-l] Divulgação: Peirce, Escritos sobre Acaso, Probabilidade e Indução Cassiano Terra Rodrigues
2023/03/22 [Logica-l] lógica auditiva Joao Marcos
2023/03/22 Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Itala Maria Loffredo D'Ottaviano
2023/03/22 Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq 'Samuel Gomes da Silva' via LOGICA-L
2023/03/22 Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Hugo Luiz Mariano
2023/03/22 Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq 'Samuel Gomes da Silva' via LOGICA-L
2023/03/22 Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Hugo Luiz Mariano
2023/03/22 Re: [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Walter Carnielli
2023/03/22 [Logica-l] Fwd: Critérios do CA-MA para avaliação das solicitações no CNPq Hugo Luiz Mariano
2023/03/21 [Logica-l] Final CFP Post-Proceedings - Linearity & TLLA 2022 (Open Call) D. Ventura
2023/03/21 [Logica-l] Logical Thought in India - LUW, March 22, 2023 4pm CET jean-yves beziau
2023/03/20 Re: [Logica-l] II Dia Carol Blasio Thiago Nascimento da Silva
2023/03/20 [Logica-l] Fwd: novo prazo de envio das submissões para o WBL 2023 Jorge Petrucio Viana
2023/03/20 [Logica-l] II Dia Carol Blasio Evelyn Erickson
2023/03/20 [Logica-l] Coletivo Lógica Viva: LIVE Logica e Ensino de Libras (21/3, 18hs) Marcos Silva
2023/03/20 [Logica-l] Re: Desafios do ChatGPT Marcos Silva
2023/03/20 [Logica-l] Fwd: IP (London) Call for Applications | Institute of Philosophy Collaborative Visiting Fellowships 2023/24 Elaine Pimentel
2023/03/18 [Logica-l] Desafios do ChatGPT Marcos Silva
2023/03/17 [Logica-l] Fwd: novo prazo de envio das submissões para o WBL 2023 Jorge Petrucio Viana
2023/03/16 [Logica-l] um pouquinho de lógica todos os dias Joao Marcos
2023/03/15 Re: [Logica-l] [off]- Baixo nível conhecimento matemático da sociedade. Joao Marcos
2023/03/15 Re: [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting? Juan Carlos Agudelo Agudelo
2023/03/15 Re: [Logica-l] [off]- Baixo nível conhecimento matemático da sociedade. Davi da Silva San Gil
2023/03/15 [Logica-l] [off]- Baixo nível conhecimento matemático da sociedade. yuri lumer
2023/03/15 Re: [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting? Joao Marcos
2023/03/15 [Logica-l] Indian in Spirit? Karl Krause's Panentheism and the Vedic Tradiction by Benedikt Göcke / LARAW March 16, 2023, 4pm CET (Paris, Geneva, Rome) jean-yves beziau
2023/03/14 [Logica-l] Postdoc positions in Prague Bruno Bentzen
2023/03/14 Re: [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting? Juan Carlos Agudelo Agudelo
2023/03/14 [Logica-l] Fwd: LPAR 2023 Deadline extension David Fuenmayor
2023/03/14 Re: [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting? Eduardo Ochs
2023/03/14 [Logica-l] É possível definir operadores involutivos não triviais em algebras de Heyting? Juan Carlos Agudelo Agudelo
2023/03/13 [Logica-l] Re: Uma consulta à comunidade: Ponto final Joao Marcos
2023/03/13 [Logica-l] Re: Uma consulta à comunidade: Ponto final Joao Marcos
2023/03/13 [Logica-l] Re: Uma consulta à comunidade: Ponto final Joao Marcos
2023/03/13 Re: [Logica-l] Serie de videos "Mujeres en la lógica" 2023 Maria Martinez-Ordaz
2023/03/13 [Logica-l] Re: Uma consulta à comunidade: Ponto final Mauricio Ayala-Rincón
2023/03/13 [Logica-l] Fwd: Conference Announcement: "What Can Philosophy Do For Set Theory?" Joao Marcos
2023/03/12 [Logica-l] Serie de videos "Mujeres en la lógica" 2023 Joao Marcos
2023/03/12 Re: [Logica-l] Re: [Lógica Viva] Há limites para a Inteligência Artificial? Sobre a filosofia no caso ChatGPT, com Walter Carnielli Joao Marcos
2023/03/12 [Logica-l] Re: Uma consulta à comunidade: Ponto final Joao Marcos
2023/03/12 [Logica-l] Re: Uma consulta à comunidade: Ponto final Walter Carnielli
2023/03/12 Re: [Logica-l] Re: Uma consulta à comunidade: Ponto final Valeria de Paiva
2023/03/12 [Logica-l] Re: Uma consulta à comunidade: Ponto final Joao Marcos
2023/03/12 Re: [Logica-l] Uma consulta à comunidade: Ponto final Joao Marcos
2023/03/12 Re: [Logica-l] Uma consulta à comunidade: Ponto final Valeria de Paiva
2023/03/12 [Logica-l] Uma consulta à comunidade: Ponto final Walter Carnielli
2023/03/12 [Logica-l] PhD or Postdoc Position at LMU Munich about Verified Modal Logics Walter Carnielli
2023/03/10 [Logica-l] Proceedings of ThEdu 2022 Joao Marcos
2023/03/10 [Logica-l] Re: [Lógica Viva] Há limites para a Inteligência Artificial? Sobre a filosofia no caso ChatGPT, com Walter Carnielli Joao Marcos
2023/03/10 Re: [Logica-l] Uma consulta à comunidade Cassiano Terra Rodrigues