Ayda I. Arruda
State University of Campinas
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Ayda I. Arruda.
Studia Logica | 1984
Ayda I. Arruda; Newton C. A. da Costa
In this paper we study the systemsP andP* (see Arruda and da Costa,O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemātica de São Paulo 18 (1966)) and some related systems. In the last section, we prove that certain set theories havingP andP* as their underlying logics are non-trivial.
Studies in logic and the foundations of mathematics | 1977
Ayda I. Arruda
Archive | 1980
Ayda I. Arruda; Rolando Chuaqui; N. C. A. da Costa
Nagoya Mathematical Journal | 1970
Ayda I. Arruda; Newton C. A. da Costa
Archive | 1983
Ayda I. Arruda; N. C. A. Da Costa; A. M. Sette
Antología de la lógica en América Latina, 1988, ISBN 8486884551, págs. 225-231 | 1988
Ayda I. Arruda; Newton C. A. da Costa
Archive | 1984
Ayda I. Arruda; Newton C. A. da Costa
Archive | 1978
Ayda I. Arruda; Newton C. A. da Costa; Rolando Chuaqui
Journal of Symbolic Logic | 1971
Ayda I. Arruda; Rolando Chuaqui; Newton C. A. da Costa; Irene F. Mikenberg
Revista Colombiana de Matemáticas | 1985
Ayda I. Arruda
Collaboration
Dive into the Ayda I. Arruda's collaboration.
