8 found
Order:
Disambiguations
N. C. A. Da Costa [6]N. C. A. Costa [2]
  1.  20
    In Contradiction: A Study of the Transconsistent.N. C. A. Da Costa - 1989 - Philosophical Quarterly 39 (157):498-502.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   62 citations  
  2.  46
    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 (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  57
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  4.  18
    Review: Gottfried Kothe, Sobre a Nao Contradicao da Matematica. [REVIEW]N. C. A. Da Costa - 1975 - Journal of Symbolic Logic 40 (2):241-241.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  14
    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.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6.  12
    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  
     
    Bookmark  
  7.  11
    Review: In Contradiction. [REVIEW]N. C. A. Da Costa & S. French - 1989 - Philosophical Quarterly 39 (157):498 - 502.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  6
    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.