Newton C. A. da Costa

According to our database, Newton C. A. da Costa authored at least 44 papers between 1974 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

An Application of Paraconsistent Logic to Physics: Complementarity.

Newton C. A. da Costa, Décio Krause

Proceedings of the Towards Paraconsistent Engineering, 2016

Why Paraconsistent Logics?

Seiki Akama, Newton C. A. da Costa

Proceedings of the Towards Paraconsistent Engineering, 2016

2015

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

2014

Physics, inconsistency, and quasi-truth.

Newton C. A. da Costa, Décio Krause

Synth., 2014

2013

A modal ontology of properties for quantum mechanics.

Newton C. A. da Costa, Olimpia Lombardi, Mariano Lastiri

Synth., 2013

2009

How to build a hypercomputer.

Newton C. A. da Costa, Francisco A. Doria

Appl. Math. Comput., 2009

2007

Quasi-truth, paraconsistency, and the foundations of science.

Otávio A. S. Bueno, Newton C. A. da Costa

Synth., 2007

Definability and Invariance.

Newton C. A. da Costa, Alexandre A. M. Rodrigues

Stud Logica, 2007

Logical and Philosophical Remarks on Quasi-Set Theory.

Newton C. A. da Costa, Décio Krause

Log. J. IGPL, 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

On the metamathematics of the P vs. NP question.

Newton C. A. da Costa, Francisco A. Doria, Eric Bir

Appl. Math. Comput., 2007

2006

Some thoughts on hypercomputation.

Newton C. A. da Costa, Francisco A. Doria

Appl. Math. Comput., 2006

Addendum to "Consequences of an exotic formulation for P.

Newton C. A. da Costa, Francisco A. Doria

Appl. Math. Comput., 2006

2005

On the Usefulness of Paraconsistent Logic.

Newton C. A. da Costa, Jean-Yves Béziau, Otávio A. S. Bueno

Proceedings of the Logic, Thought and Action, 2005

2004

Complementarity and Paraconsistency.

Newton C. A. da Costa, Décio Krause

Proceedings of the Logic, Epistemology, and the Unity of Science, 2004

2003

Consequences of an exotic definition for P=NP.

Newton C. A. da Costa, Francisco A. Doria

Appl. Math. Comput., 2003

1998

The Incompleteness of Theories of Games.

Marcelo Tsuji, Newton C. A. da Costa, Francisco A. Doria

J. Philos. Log., 1998

The Logic of Pragmatic Truth.

Newton C. A. da Costa, Otávio A. S. Bueno, Steven French

J. Philos. Log., 1998

On the existence of certain total recursive functions in nontrivial axiom systems, I

Newton C. A. da Costa, Francisco A. Doria

CoRR, 1998

1997

Suppes Predicates for Space-Time.

Newton C. A. da Costa, Otávio A. S. Bueno, Steven French

Synth., 1997

An Intensional Schrödinger Logic.

Newton C. A. da Costa, Décio Krause

Notre Dame J. Formal Log., 1997

1996

H-Computation (Abstract).

Newton C. A. da Costa, Francisco A. Doria

Proceedings of the Advances in Artificial Intelligence, 1996

1995

On Jaskowski's discussive logic.

Newton C. A. da Costa, Francisco A. Doria

Stud Logica, 1995

Undecidability, incompleteness and the Arnol'd problems.

Newton C. A. da Costa, Francisco A. Doria

Stud Logica, 1995

Aspects of Paraconsistent Logic.

Newton C. A. da Costa, Jean-Yves Béziau, Otávio A. S. Bueno

Log. J. IGPL, 1995

Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications.

Newton C. A. da Costa, Francisco A. Doria

Complex., 1995

1994

Schrödinger logics.

Newton C. A. da Costa, Décio Krause

Stud Logica, 1994

1993

On Arnold's Hilbert Symposium Problems.

Newton C. A. da Costa, Francisco A. Doria

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

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

The Paraconsistent Logics P<i>J</i>.

Newton C. A. da Costa, V. S. Subrahmanian, Carlo Vago

Math. Log. Q., 1991

Reasoning in Paraconsistent Logics.

James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa

Proceedings of the Automated Reasoning: Essays in Honor of Woody Bledsoe, 1991

1990

Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation.

Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases.

Newton C. A. da Costa, V. S. Subrahmanian

Artif. Intell. Medicine, 1989

1988

On The Imaginary Logic of N. A. VASILIEV.

Leila Z. Puga, Newton C. A. da Costa

Math. Log. Q., 1988

1986

Pragmatic Truth and Approximation to Truth.

Irene F. Mikenberg, Newton C. A. da Costa, Rolando Chuaqui

J. Symb. Log., 1986

1984

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

1983

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

1981

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

1978

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

1977

A semantical analysis of the calculi C_n.

E. H. Alves, Newton C. A. da Costa

Notre Dame J. Formal Log., 1977

1976

α Logic and Infinitary Languages.

Newton C. A. da Costa, Charles C. Pinter

Math. Log. Q., 1976

1975

Erratum: "On the theory of inconsistent formal systems".

Newton C. A. da Costa

Notre Dame J. Formal Log., 1975

1974

On the theory of inconsistent formal systems.

Newton C. A. da Costa

Notre Dame J. Formal Log., 1974

α-models and the systems T and T^*.

Newton C. A. da Costa

Notre Dame J. Formal Log., 1974