α-models and the systems T and T*. - Newton C. A. da Costa (Notre Dame J. Formal Log., 1974)

On the theory of inconsistent formal systems. - Newton C. A. da Costa (Notre Dame J. Formal Log., 1974)

Erratum: "On the theory of inconsistent formal systems". - Newton C. A. da Costa (Notre Dame J. Formal Log., 1975)

α Logic and Infinitary Languages. - Newton C. A. da Costa; Charles C. Pinter (Math. Log. Q., 1976)

A semantical analysis of the calculi Cn. - E. H. Alves; Newton C. A. da Costa (Notre Dame J. Formal Log., 1977)

Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. - Ayda I. Arruda; Francisco Miro Quesada; Newton C. A. da Costa; Rolando Chuaqui (J. Symb. Log., 1978)

Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. - Ayda I. Arruda; Rolando Chuaqui; Newton C. A. da Costa; Irene F. Mikenberg (J. Symb. Log., 1981)

Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. - Ayda I. Arruda; Xavier Caicedo; Rolando Chuaqui; Newton C. A. da Costa (J. Symb. Log., 1983)

Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. - Xavier Caicedo; Rolando Chuaqui; Newton C. A. da Costa; Carlos A. Di Prisco (J. Symb. Log., 1984)

Pragmatic Truth and Approximation to Truth. - Irene F. Mikenberg; Newton C. A. da Costa; Rolando Chuaqui (J. Symb. Log., 1986)

On The Imaginary Logic of N. A. VASILIEV. - Leila Z. Puga; Newton C. A. da Costa (Math. Log. Q., 1988)

Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases. - Newton C. A. da Costa; V. S. Subrahmanian (Artif. Intell. Medicine, 1989)

Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. - Newton C. A. da Costa; Lawrence J. Henschen; James J. Lu; V. S. Subrahmanian (CADE, 1990)

Reasoning in Paraconsistent Logics. - James J. Lu; Lawrence J. Henschen; V. S. Subrahmanian; Newton C. A. da Costa (Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991)

The Paraconsistent Logics PJ. - Newton C. A. da Costa; V. S. Subrahmanian; Carlo Vago (Math. Log. Q., 1991)

Meinong's Theory of Objects and Hilbert's epsilon-Symbol. - Newton C. A. da Costa; Francisco A. Doria; N. Papavero (Reports Math. Log., 1991)

On Arnold's Hilbert Symposium Problems. - Newton C. A. da Costa; Francisco A. Doria (Kurt Gödel Colloquium, 1993)

Schrödinger logics. - Newton C. A. da Costa; Décio Krause (Stud Logica, 1994)

Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications. - Newton C. A. da Costa; Francisco A. Doria (Complex., 1995)

Aspects of Paraconsistent Logic. - Newton C. A. da Costa; Jean-Yves Béziau; Otávio A. S. Bueno (Log. J. IGPL, 1995)

Undecidability, incompleteness and the Arnol'd problems. - Newton C. A. da Costa; Francisco A. Doria (Stud Logica, 1995)

On Jaskowski's discussive logic. - Newton C. A. da Costa; Francisco A. Doria (Stud Logica, 1995)

H-Computation (Abstract). - Newton C. A. da Costa; Francisco A. Doria (SBIA, 1996)

An Intensional Schrödinger Logic. - Newton C. A. da Costa; Décio Krause (Notre Dame J. Formal Log., 1997)

Suppes Predicates for Space-Time. - Newton C. A. da Costa; Otávio A. S. Bueno; Steven French (Synth., 1997)

On the existence of certain total recursive functions in nontrivial axiom systems, I - Newton C. A. da Costa; Francisco A. Doria (CoRR, 1998)

The Logic of Pragmatic Truth. - Newton C. A. da Costa; Otávio A. S. Bueno; Steven French (J. Philos. Log., 1998)

The Incompleteness of Theories of Games. - Marcelo Tsuji; Newton C. A. da Costa; Francisco A. Doria (J. Philos. Log., 1998)

Consequences of an exotic definition for P=NP. - Newton C. A. da Costa; Francisco A. Doria (Appl. Math. Comput., 2003)

Complementarity and Paraconsistency. - Newton C. A. da Costa; Décio Krause (Logic, Epistemology, and the Unity of Science, 2004)

On the Usefulness of Paraconsistent Logic. - Newton C. A. da Costa; Jean-Yves Béziau; Otávio A. S. Bueno (Logic, Thought and Action, 2005)

Addendum to "Consequences of an exotic formulation for P. - Newton C. A. da Costa; Francisco A. Doria (Appl. Math. Comput., 2006)

Some thoughts on hypercomputation. - Newton C. A. da Costa; Francisco A. Doria (Appl. Math. Comput., 2006)

On the metamathematics of the P vs. NP question. - Newton C. A. da Costa; Francisco A. Doria; Eric Bir (Appl. Math. Comput., 2007)

Computational intelligence approaches and linear models in case studies of forecasting exchange rates. - André Alves Portela Santos Jr.; Newton Carneiro Affonso da Costa; Leandro dos Santos Coelho (Expert Syst. Appl., 2007)

Logical and Philosophical Remarks on Quasi-Set Theory. - Newton C. A. da Costa; Décio Krause (Log. J. IGPL, 2007)

Definability and Invariance. - Newton C. A. da Costa; Alexandre A. M. Rodrigues (Stud Logica, 2007)

Quasi-truth, paraconsistency, and the foundations of science. - Otávio A. S. Bueno; Newton C. A. da Costa (Synth., 2007)

How to build a hypercomputer. - Newton C. A. da Costa; Francisco A. Doria (Appl. Math. Comput., 2009)

A modal ontology of properties for quantum mechanics. - Newton C. A. da Costa; Olimpia Lombardi; Mariano Lastiri (Synth., 2013)

Physics, inconsistency, and quasi-truth. - Newton C. A. da Costa; Décio Krause (Synth., 2014)

A formal framework for the study of the notion of undefined particle number in quantum mechanics. - Newton C. A. da Costa; Federico Hernan Holik (Synth., 2015)

Why Paraconsistent Logics? - Seiki Akama; Newton C. A. da Costa (Towards Paraconsistent Engineering, 2016)

An Application of Paraconsistent Logic to Physics: Complementarity. - Newton C. A. da Costa; Décio Krause (Towards Paraconsistent Engineering, 2016)