Newton C. A. da Costa

43 papers A 1Journal 35Unranked 3

Year	Rank	Type	Title / Venue / Authors
2016	—	`ch.`	An Application of Paraconsistent Logic to Physics: Complementarity. Towards Paraconsistent Engineering Newton C. A. da Costa, Décio Krause
2016	—	`ch.`	Why Paraconsistent Logics? Towards Paraconsistent Engineering Seiki Akama, Newton C. A. da Costa
2015	J	`jnl`	A formal framework for the study of the notion of undefined particle number in quantum mechanics. Synth. Newton C. A. da Costa, Federico Hernan Holik
2014	J	`jnl`	Physics, inconsistency, and quasi-truth. Synth. Newton C. A. da Costa, Décio Krause
2013	J	`jnl`	A modal ontology of properties for quantum mechanics. Synth. Newton C. A. da Costa, Olimpia Lombardi, Mariano Lastiri
2009	J	`jnl`	How to build a hypercomputer. Appl. Math. Comput. Newton C. A. da Costa, Francisco A. Doria
2007	J	`jnl`	Definability and Invariance. Stud Logica Newton C. A. da Costa, Alexandre A. M. Rodrigues
2007	J	`jnl`	Logical and Philosophical Remarks on Quasi-Set Theory. Log. J. IGPL Newton C. A. da Costa, Décio Krause
2007	J	`jnl`	On the metamathematics of the P vs. NP question. Appl. Math. Comput. Newton C. A. da Costa, Francisco A. Doria, Eric Bir
2007	J	`jnl`	Quasi-truth, paraconsistency, and the foundations of science. Synth. Otávio A. S. Bueno, Newton C. A. da Costa
2006	J	`jnl`	Addendum to "Consequences of an exotic formulation for P. Appl. Math. Comput. Newton C. A. da Costa, Francisco A. Doria
2006	J	`jnl`	Some thoughts on hypercomputation. Appl. Math. Comput. Newton C. A. da Costa, Francisco A. Doria
2005	—	`ch.`	On the Usefulness of Paraconsistent Logic. Logic, Thought and Action Newton C. A. da Costa, Jean-Yves Béziau, Otávio A. S. Bueno
2004	—	`ch.`	Complementarity and Paraconsistency. Logic, Epistemology, and the Unity of Science Newton C. A. da Costa, Décio Krause
2003	J	`jnl`	Consequences of an exotic definition for P=NP. Appl. Math. Comput. Newton C. A. da Costa, Francisco A. Doria
1998	J	`jnl`	On the existence of certain total recursive functions in nontrivial axiom systems, I CoRR Newton C. A. da Costa, Francisco A. Doria
1998	J	`jnl`	The Incompleteness of Theories of Games. J. Philos. Log. Marcelo Tsuji, Newton C. A. da Costa, Francisco A. Doria
1998	J	`jnl`	The Logic of Pragmatic Truth. J. Philos. Log. Newton C. A. da Costa, Otávio A. S. Bueno, Steven French
1997	J	`jnl`	An Intensional Schrödinger Logic. Notre Dame J. Formal Log. Newton C. A. da Costa, Décio Krause
1997	J	`jnl`	Suppes Predicates for Space-Time. Synth. Newton C. A. da Costa, Otávio A. S. Bueno, Steven French
1996	—	`conf`	H-Computation (Abstract). SBIA Newton C. A. da Costa, Francisco A. Doria
1995	J	`jnl`	Aspects of Paraconsistent Logic. Log. J. IGPL Newton C. A. da Costa, Jean-Yves Béziau, Otávio A. S. Bueno
1995	J	`jnl`	Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications. Complex. Newton C. A. da Costa, Francisco A. Doria
1995	J	`jnl`	On Jaskowski's discussive logic. Stud Logica Newton C. A. da Costa, Francisco A. Doria
1995	J	`jnl`	Undecidability, incompleteness and the Arnol'd problems. Stud Logica Newton C. A. da Costa, Francisco A. Doria
1994	J	`jnl`	Schrödinger logics. Stud Logica Newton C. A. da Costa, Décio Krause
1993	—	`conf`	On Arnold's Hilbert Symposium Problems. Kurt Gödel Colloquium Newton C. A. da Costa, Francisco A. Doria
1991	J	`jnl`	Meinong's Theory of Objects and Hilbert's epsilon-Symbol. Reports Math. Log. Newton C. A. da Costa, Francisco A. Doria, N. Papavero
1991	—	`conf`	Reasoning in Paraconsistent Logics. Automated Reasoning: Essays in Honor of Woody Bledsoe James J. Lu, Lawrence J. Henschen, V. S. Subrahmanian, Newton C. A. da Costa
1991	J	`jnl`	The Paraconsistent Logics P Math. Log. Q. Newton C. A. da Costa, V. S. Subrahmanian, Carlo Vago
1990	A	`conf`	Automatic Theorem Proving in Paraconsistent Logics: Theory and Implementation. CADE Newton C. A. da Costa, Lawrence J. Henschen, James J. Lu, V. S. Subrahmanian
1989	J	`jnl`	Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases. Artif. Intell. Medicine Newton C. A. da Costa, V. S. Subrahmanian
1988	J	`jnl`	On The Imaginary Logic of N. A. VASILIEV. Math. Log. Q. Leila Z. Puga, Newton C. A. da Costa
1986	J	`jnl`	Pragmatic Truth and Approximation to Truth. J. Symb. Log. Irene F. Mikenberg, Newton C. A. da Costa, Rolando Chuaqui
1984	J	`jnl`	Meeting of the Association for Symbolic Logic: Caracas, Venezuela, 1983. J. Symb. Log. Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa, Carlos A. Di Prisco
1983	J	`jnl`	Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981. J. Symb. Log. Ayda I. Arruda, Xavier Caicedo, Rolando Chuaqui, Newton C. A. da Costa
1981	J	`jnl`	Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. J. Symb. Log. Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa, Irene F. Mikenberg
1978	J	`jnl`	Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. J. Symb. Log. Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. da Costa, Rolando Chuaqui
1977	J	`jnl`	A semantical analysis of the calculi C Notre Dame J. Formal Log. E. H. Alves, Newton C. A. da Costa
1976	J	`jnl`	α Logic and Infinitary Languages. Math. Log. Q. Newton C. A. da Costa, Charles C. Pinter
1975	J	`jnl`	Erratum: "On the theory of inconsistent formal systems". Notre Dame J. Formal Log. Newton C. A. da Costa
1974	J	`jnl`	On the theory of inconsistent formal systems. Notre Dame J. Formal Log. Newton C. A. da Costa
1974	J	`jnl`	α-models and the systems T and T Notre Dame J. Formal Log. Newton C. A. da Costa