7 found
Order:
Disambiguations:
N. C. A. Da Costa [5]N. C. A. Costa [2]
  1.  13
    Jerzy Kotas & N. C. A. Costa (1979). A New Formulation of Discussive Logic. 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
    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). Book Reviews. [REVIEW] Philosophia 15 (1-2):279-281.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  3.  4
    N. C. A. Da Costa (1972). Review: Johann Sonner, On the Formal Definition of Categories. [REVIEW] Journal of Symbolic Logic 37 (3):613-614.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  3
    N. C. A. Da Costa (1975). Review: Gottfried Kothe, Sobre a Nao Contradicao da Matematica. [REVIEW] Journal of Symbolic Logic 40 (2):241-241.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  2
    N. C. A. Da Costa (1975). Review: Ladislav Rieger, A Contribution to Godel's Axiomatic Set Theory, II and III. [REVIEW] Journal of Symbolic Logic 40 (2):242-243.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  3
    N. C. A. Da Costa & S. French (1989). Review: In Contradiction. [REVIEW] Philosophical Quarterly 39 (157):498 - 502.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7. N. C. A. Da Costa (1975). Review: Luis Neves Real, Kurt Godel e os Problemas dos Fundamentos da Matematica e a Teoria dos Conjuntos. [REVIEW] Journal of Symbolic Logic 40 (2):241-241.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography