Ayda Ignez Arruda, a primeira matemática brasileira de renome internacional, nasceu em Lajes, Santa Catarina, no dia 27 de junho de 1936. Bacharelou-se em Matemática em 1958 e concluiu a sua licenciatura no ano de 1959, ambos na Faculdade de Filosofia da Universidade Católica do Paraná. Arruda manteve contato com lógicos e matemáticos do exterior e do Brasil durante a sua formação científica. Foi a primeira colaboradora do professor Newton C.A. da Costa, com quem publicou diversos artigos em periódicos internacionais. Nos últimos anos de sua vida, analisou exaustivamente os artigos publicados por Vasili’ev, em particular os relacionados com a Lógica Paraconsistente. Ayda Arruda foi a primeira pesquisadora a formalizar as idéias de Vasil’ev, obtendo, como resultado as lógicas paraconsistentes. Em 1968, mudou-se para Campinas, onde assumiu cargo de professora titular da área de lógica e fundamentos da matemática, no Instituto de Matemática, Estatística e Ciência da Computação (IMECC) da Universidade Estadual de Campinas (Unicamp). Os trabalhos de Ayda são hoje referência para uma geração de matemáticos e especialistas em lógica. Foi professora visitante e palestrante em diversas universidades, tanto do Brasil quanto do exterior. Faleceu precocemente, em outubro de 1983.