7 found
Order:
Disambiguations
N. C. A. Da Costa [5]N. C. A. Costa [2]
  1.  13
    A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
    S. Jakowski introduced the discussive prepositional calculus D 2as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories (see, for example, N. C. A. da Costa and L. Dubikajtis, On Jakowski's discussive logic, in Non-Classical Logic, Model Theory and Computability, A. I. Arruda, N. C. A da Costa and R. Chuaqui edts., North-Holland, Amsterdam, 1977, 37–56). D 2has afterwards been extended to a first-order predicate calculus and to a higher-order logic (cf. the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  18
    Book Reviews. [REVIEW]N. C. A. Costa, David Harrah, Michael Tye, D. S. Clarke, Jeffrey Olen, Robert Young, Richard Campbell, Michael McKinsey, John Peterson, Alex C. Michalos, John Glucker, John T. Blackmore, Eileen Bagus & Barbara Goodwin - 1985 - Philosophia 15 (1-2):279-281.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  3.  4
    Review: Johann Sonner, On the Formal Definition of Categories. [REVIEW]N. C. A. Da Costa - 1972 - Journal of Symbolic Logic 37 (3):613-614.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  3
    Review: Gottfried Kothe, Sobre a Nao Contradicao da Matematica. [REVIEW]N. C. A. Da Costa - 1975 - Journal of Symbolic Logic 40 (2):241-241.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  3
    Review: Ladislav Rieger, A Contribution to Godel's Axiomatic Set Theory, II and III. [REVIEW]N. C. A. Da Costa - 1975 - Journal of Symbolic Logic 40 (2):242-243.
  6.  4
    Review: In Contradiction. [REVIEW]N. C. A. Da Costa & S. French - 1989 - Philosophical Quarterly 39 (157):498 - 502.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7. Review: Luis Neves Real, Kurt Godel e os Problemas dos Fundamentos da Matematica e a Teoria dos Conjuntos. [REVIEW]N. C. A. Da Costa - 1975 - Journal of Symbolic Logic 40 (2):241-241.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography