Ayda Ignez Arruda

from Wikipedia, the free encyclopedia

Ayda Ignez Arruda (born June 27, 1936 in Lajes , Santa Catarina ; † October 13, 1983 ) was a Brazilian logician and university professor.

Life

In 1966 she received her doctorate with a thesis on Considerações sobre os Sistemas Formais NFn under Newton da Costa , at the Universidade Federal do Paraná . She was influenced by Mário Tourasse Teixeira , Marcel Guillaume , António Monteiro , Andrés Raggio , Alfred Tarski and Vasili'ev.

Arruda taught a. a. at the University of Claude-Bernard Lyon 1 , at the Nicolaus Copernicus University in Toruń and at the Catholic University of Chile in Santiago de Chile and was a professor at the Universidade Estadual de Campinas . She was a founding member of the Centro de Lógica, Epistemologia e História da Ciência da Unicamp and the Sociedade Brasileira de Lógica (SBL), of which she was general secretary from 1979 to 1981, and then its president until 1983.

Publications

  • Considerações sobre os sistemas formais NFn . Mathematics Subject Classification: 03 — Mathematical logic and foundations (dissertation), Universidade Federal do Paraná 1966.

Arruda has published over 40 articles in scientific journals and as independent publications, she was also the editor of the proceedings of the Latin American Logic Conferences: 1975 of the Atas do Simpósio de Lógica Matemática , 1977 she published together with NCA da Costa and R. Chuaqui at North -Holland wrote the volume Non-Classical Logic, Model Theory and Computability , followed in 1978 by Mathematical Logic: Proceedings of the First Brazilian Conference on Mathematical Logic and A Survey of Paraconsistant Logic . In 1979 the IMECC-UNICAMP published a smaller text NA Vasilev ea Lógica Paraconsistente , 1980 On the Relevant Systems P and P * and some related systems . She also acted as editor of the volume of the Proceedings of the Third Brazilian Conference on Mathematical Logic , followed by the independent publication Aspects of the Historical Development of Paraconsistent Logic (1980).

published posthumously

literature

  • Roberto Cignoli: Ayda Ignez Arruda (1936-1983). In: Studia Logica 1984, Volume 43, No. 1/2, pp. 1-2. ( JSTOR stable url ).
  • The scientic work of AI Arruda. In: Luiz Paulo De Alcantara (Ed.): Methods and Applications of Mathematical Logic , American Mathematical Society 1988, ISBN 978-0-8218-5076-3 , pp. 1-18. ( Preview in Google Book Search).

Web links

Individual evidence

  1. ↑ Centro de Lógica, Epistemologia e História da Ciência ( Memento of the original of June 10, 2015 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. @1@ 2Template: Webachiv / IABot / www.cle.unicamp.br
  2. ↑ Prof. Ayda Ignez Arruda - Diretora do IMECC ( Memento of October 4, 2005 in the Internet Archive )
personal data
SURNAME Arruda, Ayda Ignez
BRIEF DESCRIPTION Brazilian logician and university professor
DATE OF BIRTH June 27, 1936
PLACE OF BIRTH Lajes , Santa Catarina
DATE OF DEATH October 13, 1983