Newton C. A. da Costa

	2009
24		Newton C. A. da Costa, Francisco A. Doria: How to build a hypercomputer. Applied Mathematics and Computation 215(4): 1361-1367 (2009)
	2007
23		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)
22		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)
21		Newton C. A. da Costa, Alexandre A. M. Rodrigues: Definability and Invariance. Studia Logica 86(1): 1-30 (2007)
20		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
19		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)
18		Newton C. A. da Costa, Francisco A. Doria: Some thoughts on hypercomputation. Applied Mathematics and Computation 178(1): 83-92 (2006)
	1998
17		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
16		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
15		Newton C. A. da Costa, Francisco A. Doria: H-Computation (Abstract). SBIA 1996: 238
	1995
14		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)
13		Newton C. A. da Costa, Francisco A. Doria: On Jaskowski's discussive logic. Studia Logica 54(1): 33-60 (1995)
12		Newton C. A. da Costa, Francisco A. Doria: Undecidability, incompleteness and the Arnol'd problems. Studia Logica 55(1): 23-32 (1995)
	1994
11		Newton C. A. da Costa, Décio Krause: Schrödinger logics. Studia Logica 53(4): 533-550 (1994)
	1993
10		Newton C. A. da Costa, Francisco A. Doria: On Arnold's Hilbert Symposium Problems. Kurt Gödel Colloquium 1993: 152-158
	1991
9		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
8		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)
	1990
7		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
	1989
6		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
5		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
4		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
3		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
2		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)
	1978
1		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

1	Ayda I. Arruda	[1] [2] [3]
2	Jean-Yves Béziau	[14]
3	E. Bir	[23]
4	Otávio A. S. Bueno	[14] [20]
5	Xavier Caicedo	[3] [4]
6	Rolando Chuaqui	[1] [2] [3] [4] [5]
7	Francisco A. Doria	[8] [10] [12] [13] [15] [17] [18] [19] [23] [24]
8	Lawrence J. Henschen	[7] [9]
9	Décio Krause	[11] [16] [22]
10	James J. Lu	[7] [9]
11	Irene F. Mikenberg	[2] [5]
12	N. Papavero	[8]
13	Carlos A. Di Prisco	[4]
14	Francisco Miro Quesada	[1]
15	Alexandre A. M. Rodrigues	[21]
16	V. S. Subrahmanian	[6] [7] [9]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page