7 found
Sort by:
Disambiguations:
N. C. A. Da Costa [6]N. C. A. Costa [2]
  1. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  2. N. C. A. Da Costa & S. French (1989). Review: In Contradiction. [REVIEW] Philosophical Quarterly 39 (157):498 - 502.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. 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)  
     
    My bibliography  
     
    Export citation  
  4. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. 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 to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. 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)  
     
    My bibliography  
     
    Export citation  
  7. 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)  
     
    My bibliography  
     
    Export citation