12 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. Costdaa (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. Costdaa & Irene Mikenberg (1981). Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. Journal of Symbolic Logic 46 (1):180-190.
    Direct download (3 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. Costdaa (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, 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.
  10. Ayda I. Arruda, Francisco Miró Quesada, Newton C. A. Costdaa & Rolando Chuaqui (1978). Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. Journal of Symbolic Logic 43 (2):352-364.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. 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.
  12. Ayda I. Arruda, Newton C. A. Costdaa & 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.