Newton C. A. da Costa

Publication Activity (10 Years)

Years Active: 1974-2015
Publications (10 Years): 1

Top Topics

Quantum Mechanics

Domain Ontology

Propositional Logic

Top Venues

Publications

Newton C. A. da Costa, Federico Holik
A formal framework for the study of the notion of undefined particle number in quantum mechanics. Synth. 192 (2) (2015)
Newton C. A. da Costa, Décio Krause
Physics, inconsistency, and quasi-truth. Synth. 191 (13) (2014)
Newton C. A. da Costa, Olimpia Lombardi, Mariano Lastiri
A modal ontology of properties for quantum mechanics. Synth. 190 (17) (2013)
Newton C. A. da Costa, Francisco A. Doria
How to build a hypercomputer. Appl. Math. Comput. 215 (4) (2009)
Newton C. A. da Costa, Francisco A. Doria, Eric Bir
On the metamathematics of the P vs. NP question. Appl. Math. Comput. 189 (2) (2007)
Newton C. A. da Costa, Alexandre A. M. Rodrigues
Definability and Invariance. Stud Logica 86 (1) (2007)
Newton C. A. da Costa, Décio Krause
Logical and Philosophical Remarks on Quasi-Set Theory. Log. J. IGPL 15 (5-6) (2007)
Otávio A. S. Bueno, Newton C. A. da Costa
Quasi-truth, paraconsistency, and the foundations of science. Synth. 154 (3) (2007)
Newton C. A. da Costa, Francisco A. Doria
Some thoughts on hypercomputation. Appl. Math. Comput. 178 (1) (2006)
Newton C. A. da Costa, Francisco A. Doria
Addendum to "Consequences of an exotic formulation for P. Appl. Math. Comput. 172 (2) (2006)
Newton C. A. da Costa, Francisco A. Doria
Consequences of an exotic definition for P=NP. Appl. Math. Comput. 145 (2-3) (2003)
Newton C. A. da Costa, Francisco A. Doria
On the existence of certain total recursive functions in nontrivial axiom systems, I CoRR (1998)
Newton C. A. da Costa, Otávio A. S. Bueno, Steven French
The Logic of Pragmatic Truth. J. Philos. Log. 27 (6) (1998)
Marcelo Tsuji, Newton C. A. da Costa, Francisco A. Doria
The Incompleteness of Theories of Games. J. Philos. Log. 27 (6) (1998)
Newton C. A. da Costa, Otávio A. S. Bueno, Steven French
Suppes Predicates for Space-Time. Synth. 112 (2) (1997)
Newton C. A. da Costa, Décio Krause
An Intensional Schrödinger Logic. Notre Dame J. Formal Log. 38 (2) (1997)
Newton C. A. da Costa, Francisco A. Doria
H-Computation (Abstract). SBIA (1996)
Newton C. A. da Costa, Francisco A. Doria
On Jaskowski's discussive logic. Stud Logica 54 (1) (1995)
Newton C. A. da Costa, Francisco A. Doria
Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications. Complex. 1 (3) (1995)
Newton C. A. da Costa, Jean-Yves Béziau, Otávio A. S. Bueno
Aspects of Paraconsistent Logic. Log. J. IGPL 3 (4) (1995)
Newton C. A. da Costa, Francisco A. Doria
Undecidability, incompleteness and the Arnol'd problems. Stud Logica 55 (1) (1995)
Newton C. A. da Costa, Décio Krause
Schrödinger logics. Stud Logica 53 (4) (1994)
Newton C. A. da Costa, Francisco A. Doria
On Arnold's Hilbert Symposium Problems. Kurt Gödel Colloquium (1993)
Newton C. A. da Costa, Francisco A. Doria, N. Papavero
Meinong's Theory of Objects and Hilbert's epsilon-Symbol. Reports Math. Log. 25 (1991)
Newton C. A. da Costa, V. S. Subrahmanian, Carlo Vago
. Math. Log. Q. 37 (9-12) (1991)
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)
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)
Newton C. A. da Costa, V. S. Subrahmanian
Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases. Artif. Intell. Medicine 1 (4) (1989)
Leila Z. Puga, Newton C. A. da Costa
On The Imaginary Logic of N. A. VASILIEV. Math. Log. Q. 34 (3) (1988)
Irene F. Mikenberg, Newton C. A. da Costa, Rolando Chuaqui
Pragmatic Truth and Approximation to Truth. J. Symb. Log. 51 (1) (1986)
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) (1984)
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) (1983)
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) (1981)
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) (1978)
E. H. Alves, Newton C. A. da Costa
. Notre Dame J. Formal Log. 18 (4) (1977)
Newton C. A. da Costa, Charles C. Pinter
α Logic and Infinitary Languages. Math. Log. Q. 22 (1) (1976)
Newton C. A. da Costa
Erratum: "On the theory of inconsistent formal systems". Notre Dame J. Formal Log. 16 (4) (1975)
Newton C. A. da Costa
. Notre Dame J. Formal Log. 15 (3) (1974)
Newton C. A. da Costa
On the theory of inconsistent formal systems. Notre Dame J. Formal Log. 15 (4) (1974)