17 found
Order:
  1.  85
    Aspects of the Historical Development of Paraconsistent Logic.Ayda I. Arruda - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 99--130.
    Direct download  
     
    Export citation  
     
    My bibliography   9 citations  
  2.  13
    Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) - 1980 - Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
    (or not oveA-complete.) . Let * be a unary operator defined on the set F of formulas of the language £ (ie, if A is a formula of £, then *A is also a ...
    Direct download  
     
    Export citation  
     
    My bibliography   15 citations  
  3. Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981.Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costa - 1983 - Journal of Symbolic Logic 48 (3):884-892.
  4.  16
    Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW]Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.
  5.  14
    On the Relevant Systemsp Andp* and Some Related Systems.Ayda I. Arruda & Newton C. A. Costa - 1984 - Studia Logica 43 (1-2):33 - 49.
    In this paper we study the systemsP andP * (see Arruda and da Costa,O paradoxo de Curry-Moh Shaw-Kwei, Boletim da Sociedade Matemtica 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.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  6.  7
    Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180 - 190.
  7.  10
    Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981.Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. da Costa - 1983 - Journal of Symbolic Logic 48 (3):884 - 892.
  8.  8
    On the Relevant Systems P and P* and Some Related Systems.Ayda I. Arruda & Newton C. A. da Costa - 1984 - Studia Logica 43 (1/2):33 - 49.
    In this paper we study the systems P and $P^{\ast}$ (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 having P and $P^{\ast}$ as their underlying logics are non-trivial.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  9.  13
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  10.  5
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  11.  5
    Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976.Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352 - 364.
  12.  12
    Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newton C. A. Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
  13.  1
    Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1976.Ayda I. Arruda, Francisco Miró, Newton C. A. da Costa & Rolando Chuaqui - 1978 - Journal of Symbolic Logic 43 (2):352-364.
  14.  1
    Meeting of the Association for Symbolic Logic, Santiago, Chile, 1978.Ayda I. Arruda, Rolando Chuaqui, Newto N. C. A. da Costa & Irene Mikenberg - 1981 - Journal of Symbolic Logic 46 (1):180-190.
  15. Mathematical Logic in Latin America Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978.Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa - 1980
     
    Export citation  
     
    My bibliography  
  16. Mathematical Logic Proceedings of the First Brazilian Conference.Ayda I. Arruda, Newton C. A. da Costa, R. Chuaqui & Universidade Estadual de Campinas - 1978
     
    Export citation  
     
    My bibliography  
  17. Non-Classical Logics, Model Theory, and Computability Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW]Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa - 1977