Works by Costa, N. C. A. (exact spelling)

Order:
  1.  52
    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  
  2.  79
    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