15 found
Sort by:
  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.
    No categories
     
    My bibliography  
     
    Export citation  
  2. 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)  
     
    My bibliography  
     
    Export citation  
  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)  
     
    My bibliography  
     
    Export citation  
  4. 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.
  5. 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.
  6. 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.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. 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.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. 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  
     
    My bibliography  
     
    Export citation  
  9. 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).
    No categories
     
    My bibliography  
     
    Export citation  
  10. Ayda I. Arruda, Newton C. A. da Costa, R. Chuaqui & Universidade Estadual de Campinas (1978). Mathematical Logic Proceedings of the First Brazilian Conference.
    No categories
     
    My bibliography  
     
    Export citation  
  11. 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. 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.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. 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.
  14. 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]
    No categories
     
    My bibliography  
     
    Export citation  
  15. 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.