Ayda Ignez Arruda
Ayda Ignez Arruda (ur . 27 czerwca 1936 w Lajes , Santa Catarina ; † 13 października 1983 ) była brazylijską logiką i profesorem uniwersyteckim.
Życie
W 1966 roku otrzymała ją doktorat z tezy o Considerações sobre os Sistemas Formais NFN pod Newton da Costa , na Universidade Federal do Parana . Była pod wpływem Mário Tourasse Teixeira , Marcela Guillaume , António Monteiro , Andrés Raggio , Alfred Tarski i Vasili'ev.
Arruda uczyła m.in. na Uniwersytecie Claude-Bernard Lyon 1 , na Uniwersytecie Mikołaja Kopernika w Toruniu i na Katolickim Uniwersytecie Chile w Santiago de Chile oraz był profesorem na Universidade Estadual de Campinas . Była członkiem-założycielem Centro de Lógica, Epistemologia e História da Ciência da Unicamp i Sociedade Brasileira de Lógica (SBL), którego była sekretarzem generalnym od 1979 do 1981, a następnie jej prezesem do 1983.
Publikacje
- Considerações sobre os sistemas formais NFn . Klasyfikacja przedmiotów: matematyka: 03 - Logika matematyczna i podstawy (rozprawa), Universidade Federal do Paraná 1966.
Arruda opublikował ponad 40 artykułów w czasopismach naukowych, jak i niezależnych wydawnictw, była również redaktorem obrad Konferencji Ameryki Łacińskiej logicznych: 1975 z Atas zrobić Simposio de Logica matematica 1977 roku opublikowała wraz z NCA da Costa i R. Chuaqui na północy -Holland napisał tom Non-Classical Logic, Model Theory and Computability , a następnie w 1978 roku Mathematical Logic: Proceedings of the First Brazilian Conference on Mathematical Logic and A Survey of Paraconsistant Logic . W 1979 roku IMECC-UNICAMP opublikował mniejszą czcionkę NA Vasilev ea Lógica Paraconsistente , 1980 On the Relevant Systems P i P * oraz kilka powiązanych systemów . Pełniła również funkcję redaktora tomu Proceedings of the Third Brazilian Conference on Mathematical Logic , a następnie niezależnej publikacji Aspects of the Historical Development of Paraconsistent Logic (1980).
- opublikowany pośmiertnie
- Uwagi w parakonsystentnych teoriach zbiorów Da Costy . 1985 ( zdigitalizowane w GDZ ).
- z Grahamem Priestem : Paraconsistent logic: essays on the inconsistent , 1989, ISBN 3-88405-058-3 .
literatura
- Roberto Cignoli: Ayda Ignez Arruda (1936-1983). W: Studia Logica 1984, tom 43, nr 1/2, strony 1-2. ( Stabilny adres URL JSTOR ).
- Naukowa praca AI Arruda. W: Luiz Paulo De Alcantara (red.): Methods and Applications of Mathematical Logic , American Mathematical Society 1988, ISBN 978-0-8218-5076-3 , str. 1-18. ( Podgląd w Google Book Search).
linki internetowe
- Literatura autorstwa i dotycząca Ayda Ignez Arruda w bibliograficznej bazie danych WorldCat
Indywidualne dowody
- ↑ Centro de Lógica, Epistemologia e História da Ciência ( Pamiątka po oryginale z 10 czerwca 2015 r. W archiwum internetowym ) Informacje: Link do archiwum został wstawiony automatycznie i nie został jeszcze sprawdzony. Sprawdź oryginalny i archiwalny link zgodnie z instrukcjami, a następnie usuń to powiadomienie.
- ↑ Prof. Ayda Ignez Arruda - Diretora do IMECC ( Pamiątka z 4 października 2005 r. W Internet Archive )
| dane osobiste | |
|---|---|
| NAZWISKO | Arruda, Ayda Ignez |
| KRÓTKI OPIS | Brazylijski logik i profesor uniwersytetu |
| DATA URODZENIA | 27 czerwca 1936 |
| MIEJSCE URODZENIA | Lajes , Santa Catarina |
| DATA ŚMIERCI | 13 października 1983 |