Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Newton C. A. da Costa
2000 – 2009
- 2009
[j19]Newton C. A. da Costa, Francisco A. Doria: How to build a hypercomputer. Applied Mathematics and Computation 215(4): 1361-1367 (2009)- 2007
- [j18]Newton C. A. da Costa, Francisco A. Doria, E. Bir: On the metamathematics of the P vs. NP question. Applied Mathematics and Computation 189(2): 1223-1240 (2007)
- [j17]Newton C. A. da Costa, Décio Krause: Logical and Philosophical Remarks on Quasi-Set Theory. Logic Journal of the IGPL 15(5-6): 421-431 (2007)
- [j16]Newton C. A. da Costa, Alexandre A. M. Rodrigues: Definability and Invariance. Studia Logica 86(1): 1-30 (2007)
- [j15]Otávio A. S. Bueno, Newton C. A. da Costa: Quasi-truth, paraconsistency, and the foundations of science. Synthese 154(3): 383-399 (2007)
- 2006
- [j14]Newton C. A. da Costa, Francisco A. Doria: Addendum to "Consequences of an exotic formulation for P. Applied Mathematics and Computation 172(2): 1364-1367 (2006)
- [j13]Newton C. A. da Costa, Francisco A. Doria: Some thoughts on hypercomputation. Applied Mathematics and Computation 178(1): 83-92 (2006)
- 2005
- [p2]Newton C. A. da Costa, Jean-Yves Béziau, Otávio A. S. Bueno: On the Usefulness of Paraconsistent Logic. Logic, Thought and Action 2005: 465-478
- 2004
- [p1]Newton C. A. da Costa, Décio Krause: Complementarity and Paraconsistency. Logic, Epistemology, and the Unity of Science 2004: 557-568
1990 – 1999
- 1998
- [i1]Newton C. A. da Costa, Francisco A. Doria: On the existence of certain total recursive functions in nontrivial axiom systems, I. CoRR cmp-lg/9804005 (1998)
- 1997
- [j12]Newton C. A. da Costa, Décio Krause: An Intensional Schrödinger Logic. Notre Dame Journal of Formal Logic 38(2): 179-194 (1997)
- 1996
- [c4]
- 1995
- [j11]Newton C. A. da Costa, Jean-Yves Béziau, Otávio A. S. Bueno: Aspects of Paraconsistent Logic. Logic Journal of the IGPL 3(4): 597-614 (1995)
- [j10]Newton C. A. da Costa, Francisco A. Doria: On Jaskowski's discussive logic. Studia Logica 54(1): 33-60 (1995)
- [j9]Newton C. A. da Costa, Francisco A. Doria: Undecidability, incompleteness and the Arnol'd problems. Studia Logica 55(1): 23-32 (1995)
- 1994
- [j8]
- 1993
- [c3]Newton C. A. da Costa, Francisco A. Doria: On Arnold's Hilbert Symposium Problems. Kurt Gödel Colloquium 1993: 152-158
- 1991
- [j7]Newton C. A. da Costa, Francisco A. Doria, N. Papavero: Meinong's Theory of Objects and Hilbert's epsilon-Symbol. Reports on Mathematical Logic 25 (1991)
- [c2]James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa: Reasoning in Paraconsistent Logics. Automated Reasoning: Essays in Honor of Woody Bledsoe 1991: 181-210
- 1990
- [c1]Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian: Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. CADE 1990: 72-86
1980 – 1989
- 1989
- [j6]Newton C. A. da Costa, V. S. Subrahmanian: Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases. Artificial Intelligence in Medicine 1(4): 167-174 (1989)
- 1986
- [j5]Irene F. Mikenberg, Newton C. A. da Costa, Rolando Chuaqui: Pragmatic Truth and Approximation to Truth. J. Symb. Log. 51(1): 201-221 (1986)
- 1984
- [j4]Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa, Carlos A. Di Prisco: Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. J. Symb. Log. 49(4): 1430-1440 (1984)
- 1983
- [j3]Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa: Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. J. Symb. Log. 48(3): 884-892 (1983)
- 1981
- [j2]Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa, Irene F. Mikenberg: Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. J. Symb. Log. 46(1): 180-190 (1981)
1970 – 1979
- 1978
- [j1]Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. da Costa, Rolando Chuaqui: Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. J. Symb. Log. 43(2): 352-364 (1978)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-12 20:01 CET by the dblp team