15 found
Order:
  1. Ayda I. Arruda (1989). Aspects of the Historical Development of Paraconsistent Logic. In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag 99--130.
     
    Export citation  
     
    My bibliography   4 citations  
  2.  4
    Ayda I. Arruda, R. Chuaqui & Newton C. A. Costa (eds.) (1980). Mathematical Logic in Latin America: Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978. 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   3 citations  
  3.  5
    Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) (1977). Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW] Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.
  4.  2
    Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa & Irene Mikenberg (1981). Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. Journal of Symbolic Logic 46 (1):180 - 190.
  5.  49
    Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. Costa (1983). Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981. Journal of Symbolic Logic 48 (3):884-892.
  6.  6
    Ayda I. Arruda & Newton C. A. Costa (1984). On the Relevant Systemsp Andp* and Some Related Systems. 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  
  7.  3
    Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui & Newton C. A. da Costa (1983). Meeting of the Association for Symbolic Logic: Bogotá, Colombia, 1981. Journal of Symbolic Logic 48 (3):884 - 892.
  8.  3
    Ayda I. Arruda & Newton C. A. da Costa (1984). On the Relevant Systems P and P* and Some Related Systems. 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 (3 more)  
     
    Export citation  
     
    My bibliography  
  9.  8
    Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Costa & Rolando Chuaqui (1978). Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. Journal of Symbolic Logic 43 (2):352-364.
  10.  8
    Ayda I. Arruda, Rolando Chuaqui, Newton C. A. Costa & Irene Mikenberg (1981). Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. Journal of Symbolic Logic 46 (1):180-190.
  11.  1
    Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. Da Costa & Rolando Chuaqui (1978). Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. Journal of Symbolic Logic 43 (2):352-364.
  12.  1
    Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Da Costa & Rolando Chuaqui (1978). Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. Journal of Symbolic Logic 43 (2):352 - 364.
  13. Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa (1980). Mathematical Logic in Latin America Proceedings of the IV Latin American Symposium on Mathematical Logic Held in Santiago, December 1978. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography  
  14. Ayda I. Arruda, Newton C. A. da Costa, R. Chuaqui & Universidade Estadual de Campinas (1978). Mathematical Logic Proceedings of the First Brazilian Conference.
     
    Export citation  
     
    My bibliography  
  15. Ayda I. Arruda, R. Chuaqui & Newton C. A. da Costa (1977). Non-Classical Logics, Model Theory, and Computability Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW]