27 found
Order:
  1.  68
    Definability and Invariance.N. C. A. da Costa & A. A. M. Rodrigues - 2007 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  13
    On the Existence of Very Difficult Satisfiability Problems.N. C. A. da Costa & F. A. Doria - forthcoming - Bulletin of the Section of Logic.
  3.  9
    Gödel Incompleteness, Explicit Expressions for Complete Arithmetic Degrees and Applications.N. C. A. Da Costa & F. A. Doria - 1995 - Complexity 1 (3):40-55.
  4.  23
    On the Problem of Jaskowski and the Logic of Lukasiewicz.Jerzy Kotas & N. C. A. da Costa - 1978 - Bulletin of the Section of Logic 7 (2):91-91.
  5.  14
    A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. da Costa - 1979 - Studia Logica 38 (4):429-445.
    S. Jaśkowski introduced the discussive propositional calculus D₂ as a basis for a logic which could be used as underlying logic of inconsistent but nontrivial theories. D₂ has afterwards been extended to a first-order predicate calculus and to a higher-order logic. In this paper we present a natural version of D₂, in the sense of Jaśkowski and Gentzen; as a consequence, we suggest a new formulation of the discussive predicate calculus. A semantics for the new calculus is also presented.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Proceedings of the Third Brazilian Conference on Mathematical Logic.A. I. Arruda, N. C. A. Da Costa & A. M. Sette - 1983 - Studia Logica 42 (4):483-484.
  7. Consequences of an Exotic Definition for P = NP. Applied Mathematics and Computation.N. C. A. da Costa & F. A. Doria - 2004 - Bulletin of Symbolic Logic 10 (1):118-119.
     
    Export citation  
     
    Bookmark  
  8.  15
    Directions in Relevant Logic, Edited by Jean Norman and Richard Sylvan, Reason and Argument, Vol. 1, Kluwer Academic Publishers, Dordrecht, Boston, and London, 1989, Xii + 453 Pp. [REVIEW]N. C. A. da Costa - 1993 - Journal of Symbolic Logic 58 (4):1466-1468.
  9. D. MARCONI "La Formalizzazione Della Dialettica". [REVIEW]N. C. A. Da Costa - 1981 - History and Philosophy of Logic 2:145.
  10.  33
    Gottfried Köthe. Sobre a não contradição da matemática. Gazeta de matemdtica, vol. 15 no. 58 , pp. 1–5.N. C. A. da Costa - 1975 - Journal of Symbolic Logic 40 (2):241.
  11.  7
    In Contradiction.N. C. A. da Costa - 1989 - Philosophical Quarterly 39 (57):498.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  10
    Johann Sonner. On the Formal Definition of Categories. Mathematische Zeitschrift, Vol. 80 No. 2 , Pp. 163–176.N. C. A. da Costa - 1972 - Journal of Symbolic Logic 37 (3):613-614.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13. Logiques Classiques Et Non Classiques: Essai Sur Les Fondements De La Logique.N. C. A. da Costa - 2000 - Studia Logica 64 (3):435-443.
  14.  35
    Ladislav Rieger. A Contribution to Gödel's Axiomatic Set Theory, II and III. English with Russian Summaries. Čéhoslovačkij Matématičéskij Žurnal , Vol. 9 , Pp. 1–49, and Vol. 13 , Pp. 51–88. [REVIEW]N. C. A. da Costa - 1975 - Journal of Symbolic Logic 40 (2):242-243.
  15. Meinong's Theory Of Objects And Hilbert's $\Epsilon$-Symbol.N. C. A. da Costa, F. Doria & N. Papavero - 1991 - Reports on Mathematical Logic.
    We propose a formalization of Meinong's theory of objects with the help of Hilbert's $\epsilon$-symbol and a paraconsistent logical system, with an eye towards its application in an axiomatization of the natural sciences.
     
    Export citation  
     
    Bookmark  
  16. N. RESCHER and R. BRANDOM "The Logic of Inconsistency". [REVIEW]N. C. A. Da Costa - 1982 - History and Philosophy of Logic 3 (2):225.
     
    Export citation  
     
    Bookmark  
  17. Outlines of a System of Inductive Logic'.N. C. A. Da Costa - 1987 - Theoria 7:3-13.
     
    Export citation  
     
    Bookmark   3 citations  
  18. On paraconsistent set theory.N. C. A. Da Costa - 1986 - Logique Et Analyse 29 (15):361.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  19.  11
    O Sentido da Nova Logica.N. C. A. da Costa & W. O. Quine - 1997 - Journal of Symbolic Logic 62 (2):688.
  20.  9
    Review: Jean Norman, Richard Sylvan, Directions in Relevant Logic. [REVIEW]N. C. A. da Costa - 1993 - Journal of Symbolic Logic 58 (4):1466-1468.
  21. R. POLI "Ontologia Formale". [REVIEW]N. C. A. da Costa - 1994 - History and Philosophy of Logic 15 (1):144.
     
    Export citation  
     
    Bookmark  
  22.  14
    Review: Wolfgang Balzer, C. Ulises Moulines, Joseph D. Sneed, An Architectonic for Science. The Structuralist Program. [REVIEW]N. C. A. da Costa - 1994 - Journal of Symbolic Logic 59 (2):671-673.
  23. Schrrdinger Logics'.N. C. A. Da Costa & D. Krause - 1994 - Studia Logica 53 (4).
  24. Suppes Predicates for Classical Physics.N. C. A. Da Costa & F. A. Doria - 1992 - In Javier Echeverria, Andoni Ibarra & Thomas Mormann (eds.), The Space of Mathematics: Philosophical, Epistemological, and Historical Explorations. De Gruyter.
  25.  59
    Two Questions on the Geometry of Gauge Fields.N. C. A. da Costa, F. A. Doria, A. F. Furtado-do-Amaral & J. A. de Barros - 1994 - Foundations of Physics 24 (5):783-800.
    We first show that a theorem by Cartan that generalizes the Frobenius integrability theorem allows us (given certain conditions) to obtain noncurvature solutions for the differential Bianchi conditions and for higher-degree similar relations. We then prove that there is no algorithmic procedure to determine, for a reasonable restricted algebra of functions on spacetime, whether a given connection form satisfies the preceding conditions. A parallel result gives a version of Gödel's first incompleteness theorem within an (axiomatized) theory of gauge fields.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  30
    Wolfgang Balzer, C. Ulises Moulines, and Joseph D. Sneed. An Architectonic for Science. The Structuralist Program. Synthese Library, Vol. 186. D. Reidel Publishing Company, Dordrecht Etc. 1987, Xxxvii + 431 Pp. [REVIEW]N. C. A. da Costa - 1994 - Journal of Symbolic Logic 59 (2):671-673.
  27.  87
    Bokk Review.Eleonore Stump, Charles B. Schmitt, James J. Murphy, M. Mugnai, Robin Smith, C. W. Kilmister, N. C. A. da Costa, von G. Schenk, Robert Bunn, D. W. Barron & A. Grieder - 1982 - History and Philosophy of Logic 3 (2):213-240.
    MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark