8 found
Order:
Disambiguations:
N. C. A. Da Costa [6]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.  16
    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.  8
    N. C. A. Da Costa & A. A. M. Rodrigues (2007). Definability and Invariance. Studia Logica 86 (1):1 - 30.
    In his thesis Para uma Teoria Geral dos Homomorfismos (1944), the Portuguese mathematician José Sebastiāo e Silva constructed an abstract or generalized Galois theory, that is intimately linked to F. Klein's Erlangen Program and that foreshadows some notions and results of today's model theory; an analogous theory was independently worked out by M. Krasner in 1938. In this paper, we present a version of the theory making use of tools which were not at Silva's disposal. At the same time, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5.  2
    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  
  6.  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  
  7.  3
    N. C. A. Da Costa & S. French (1989). Review: In Contradiction. [REVIEW] Philosophical Quarterly 39 (157):498 - 502.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  8. 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