Edit Profile (opens in new tab) Da Costa, Newton Carneiro Affonso Compute Distance To: Compute Author ID: da-costa.newton-carneiro-affonso Published as: da Costa, Newton C. A.; Da Costa, Newton C. A.; da Costa, N. C. A.; da Costa, Newton Carneiro Affonso; da Costa, Newton; Da Costa, N. C. A.; Da Cosat, N. C.; da Costa, N. more...less Homepage: https://splogic.org/professor-newton-da-costa/ External Links: MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 183 Publications since 1955, including 11 Books 6 Contributions as Editor Reviewing Activity: 15 Reviews Biographic References: 4 Publications Co-Authors: 54 Co-Authors with 135 Joint Publications 615 Co-Co-Authors all top 5 Co-Authors 54 single-authored 28 Doria, Francisco Antonio 13 Bueno, Otávio 12 Arruda, Ayda Ignez 12 Béziau, Jean-Yves 11 Krause, Décio 6 Chuaqui Kettlun, Rolando Basim 6 French, Steven 5 Kotas, Jerzy 4 Alves, Elias Humberto 4 de Alcantara, Luiz Paulo 4 Subrahmanian, V. S. 3 Brignole, Diana 3 Kouneiher, Joseph 3 Loparić, Andréa M. 3 Marconi, Diego 3 Puga, Leila Z. 2 da C. Caiero, Roque 2 de Ronde, Christian 2 Dubikajtis, Lech 2 Guillaume, Marcel 2 Henschen, Lawrence J. 2 Lombardi, Olimpia 2 Lu, James J. 2 Papavero, N. 2 Sette, Antonio Mario 2 Tsuji, Marcelo 2 Wolf, Robert G. 1 Abe, Jair Minoro 1 Akama, Seiki 1 Alas, Ofelia Teresa 1 Arenhart, Jonas Rafael Becker 1 Balan, A. P. M. 1 Barsotti, Leo 1 Bir, E. 1 Caicedo, Xavier 1 Cardoso, Jayme Machado 1 Carnielli, Walter Alexandre 1 Chaitin, Gregory John 1 de Alesio, J. 1 de Barros, Jose Acacio 1 Dias, Matias F. 1 D’Ottaviano, Itala M. Loffredo 1 Druck, Iole F. 1 Furtado do Amaral, A. F. 1 Hönig, Chaim Samuel 1 Lastiri, Mariano 1 Magalhães, João Carlos M. 1 Mikenberg, Irene F. 1 Mortensen, Chris 1 Pinter, Charles C. 1 Rodrigues, Alexandre Augusto Martins 1 Sylvan, Richard 1 Sant’Anna, Adonai S. 1 Vago, Carlo 1 Zhang, Qingyu all top 5 Serials 14 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 9 Logique et Analyse. Nouvelle Série 9 Boletim da Sociedade Paranaense de Matemática. 2a Série 8 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Paris 7 Studia Logica 5 Synthese 4 International Journal of Theoretical Physics 4 Applied Mathematics and Computation 4 Notre Dame Journal of Formal Logic 4 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 4 Bulletin of the Section of Logic 3 History and Philosophy of Logic 3 Foundations of Physics 3 Bulletin of the Section of Logic 3 Nederlandse Akademie van Wetenschappen. Proceedings. Series A. Indagationes Mathematicae 2 Journal of Philosophical Logic 2 Mathematische Zeitschrift 2 Reports on Mathematical Logic 2 Theoria. Segunda Epoca 2 Atti della Accademia Nazionale dei Lincei. Serie Ottava. Rendiconti. Classe di Scienze Fisiche, Matematiche e Naturali 2 Boletim da Sociedade Paranaense de Matemática. Segunda Série 2 Logic and Logical Philosophy 2 Proceedings of the Japan Academy 2 Monografias da Sociedade Paranaense de Matemática 2 Studies in Logic and the Foundations of Mathematics 2 Anais da Academia Brasileira de Ciências 1 Acta Cientifica Venezolana 1 The British Journal for the Philosophy of Science 1 The Journal of Symbolic Logic 1 Mathematica Japonica 1 Nagoya Mathematical Journal 1 Portugaliae Mathematica 1 Revista Colombiana de Matemáticas 1 Modern Logic 1 Doklady Bolgarskoĭ Akademii Nauk 1 Journal of Physics A: Mathematical and General 1 Bulletin of the IGPL 1 Complexity 1 Logic Journal of the IGPL 1 Foundations of Science 1 International Journal of Geometric Methods in Modern Physics 1 The Australasian Journal of Logic 1 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 Publications du Département de Mathématiques 1 Coleção CLE 1 Lecture Notes in Pure and Applied Mathematics 1 Synthese Library 1 Boletim da Sociedade Paranaense de Matemática 1 Boletim da Sociedade de Matemática de São Paulo all top 5 Fields 161 Mathematical logic and foundations (03-XX) 25 General and overarching topics; collections (00-XX) 15 Quantum theory (81-XX) 12 Computer science (68-XX) 10 History and biography (01-XX) 5 Number theory (11-XX) 5 Dynamical systems and ergodic theory (37-XX) 2 Category theory; homological algebra (18-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Mechanics of particles and systems (70-XX) 2 Relativity and gravitational theory (83-XX) 1 Commutative algebra (13-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Functional analysis (46-XX) 1 Differential geometry (53-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistics (62-XX) 1 Optics, electromagnetic theory (78-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 92 Publications have been cited 551 times in 323 Documents Cited by ▼ Year ▼ On the theory of inconsistent formal systems. Zbl 0236.02022da Costa, Newton C. A. 119 1974 A semantical analysis of the calculi \(C_n\). Zbl 0349.02022Da Costa, Newton C. A.; Alves, Elias H. 34 1977 Undecidability and incompleteness in classical mechanics. Zbl 0850.70023da Costa, N. C. A.; Doria, F. A. 31 1991 Pragmatic truth and approximation to truth. Zbl 0606.03009Mikenberg, Irene; Da Costa, Newton C. A.; Chuaqui, Rolando 22 1986 Calculus propositionnels pour les systèmes formels inconsistants. Zbl 0118.01211da Costa, Newton C. A. 15 1963 Sur un problème de Jaśkowski. Zbl 0198.01702D’Ottaviano, Itala M. L.; Da Costa, Newton C. A. 15 1970 Aspects of paraconsistent logic. Zbl 0843.03014da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S. 13 1995 Inconsistent formal systems. (Sistemas formais inconsistentes.) Zbl 0798.03025da Costa, Newton C. A. 13 1993 The logic of pragmatic truth. Zbl 0916.03020da Costa, Newton C. A.; Bueno, Otávio; French, Steven 10 1998 The paraconsistent logics P\({\mathcal T}\). Zbl 0741.03013da Costa, Newton C. A.; Subrahmanian, V. S.; Vago, Carlo 10 1991 The paraconsistent logic of quantum superpositions. Zbl 1272.81014da Costa, N.; de Ronde, C. 10 2013 Paraconsistency, paracompleteness, and valuations. Zbl 0549.03023Loparić, Andréa; da Costa, Newton C. A. 9 1984 Pragmatic truth and the logic of induction. Zbl 0696.03001da Costa, Newton C. A.; French, Steven 9 1989 Classical and non-classical logics: essay on the foundations of logic. (Logiques classiques et non classiques: essai sur les fondements de la logique. Traduit du portugais et complété par Jean-Yves Béziau.) Zbl 0901.03002da Costa, Newton C. A. 8 1997 On the imaginary logic of N. A. Vasiliev. Zbl 0627.03011Puga, Leila Z.; da Costa, Newton C. A. 8 1988 A modal ontology of properties for quantum mechanics. Zbl 1304.81013da Costa, Newton; Lombardi, Olimpia; Lastiri, Mariano 8 2013 On the metamathematics of the P vs. NP question. Zbl 1126.03048da Costa, N. C. A.; Doria, F. A.; Bir, E. 7 2007 Definability and invariance. Zbl 1125.03030da Costa, N. C. A.; Rodrigues, A. A. M. 7 2007 Theory of valuation. (Théorie de la valuation.) Zbl 0973.03012da Costa, Newton C. A.; Béziau, Jean-Yves 7 1994 Malinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuedness. Zbl 0869.03014da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S. 6 1996 An intensional Schrödinger logic. Zbl 0901.03024da Costa, Newton C. A.; Krause, Décio 6 1997 Relations between paraconsistent logic and many-valued logic. Zbl 0494.03019Da Costa, Newton C. A.; Alves, Elias H. 6 1981 Dynamical system where proving chaos is equivalent to proving Fermat’s conjecture. Zbl 0872.58027Da Cosat, N. C.; Doria, F. A.; Furtado do Amaral, A. F. 6 1993 Paraconsistent logic in a historical perspective. Zbl 0974.03029da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio 6 1995 On two systems of set theory. Zbl 0137.01402da Costa, Newton C. A. 6 1965 Schrödinger logics. Zbl 0816.03032da Costa, Newton C. A.; Krause, Décio 5 1994 Valuation theory in question. (La théorie de la valuation en question.) Zbl 0820.03010da Costa, Newton C. A.; Béziau, J. Y. 5 1994 Suppes predicates for classical physics. Zbl 0847.03007da Costa, Newton C. A.; Doria, F. Antonio 5 1992 A Suppes predicate for general relativity and set-theoretically generic spacetimes. Zbl 0707.03045da Costa, N. C. A.; Doria, F. A.; de Barros, J. A. 5 1990 Remarks on annotated logic. Zbl 0846.03010da Costa, Newton C. A.; Abe, Jair M.; Subrahmanian, V. S. 5 1991 Some thoughts on hypercomputation. Zbl 1101.68564da Costa, N. C. A.; Doria, F. A. 5 2006 Consequences of an exotic definition for \(\text{P}=\text{NP}\). Zbl 1046.68060da Costa, N. C. A.; Doria, F. A. 4 2003 Une semantique pour le calcul \(C^=_ 1\). Zbl 0351.02020Arruda, Ayda I.; Da Costa, Newton C. A. 4 1977 The philosophical import of paraconsistent logic. Zbl 0508.03003Da Costa, Newton C. A. 4 1982 On paraconsistent set theory. Zbl 0633.03016da Costa, Newton C. A. 4 1986 Remarques sur les univers d’Ehresmann-Dedecker. Zbl 0157.02601Da Costa, Newton C. A.; de Alesio, J. 4 1967 Quantum mechanics: ontology without individuals. Zbl 1312.81008da Costa, Newton; Lombardi, Olimpia 4 2014 Set-theoretical models for quantum systems. Zbl 1024.03054da Costa, Newton C. A.; Krause, Décio 3 1999 Paraconsistent mathematics. Zbl 1006.03028da Costa, Newton C. A. 3 2000 Logical and philosophical remarks on quasi-set theory. Zbl 1201.03006da Costa, Newton C. A.; Krause, Décio 3 2007 Studies in paraconsistent logic. I: The dialectical principle of the unity of opposites. Zbl 0614.03008da Costa, Newton C. A.; Wolf, R. G. 3 1980 Remarks on Jaskowski’s discussive logic. Zbl 0313.02018Da Costa, Newton C. A. 3 1975 On Jaśkowski’s discursive logic. Zbl 0359.02012da Costa, Newton C. A.; Dubikajtis, L. 3 1977 Mathematical logic in Latin America. Proceedings of the IV Latin American symposium on mathematical logic, held in Santiago, December 1978. Zbl 0419.00003 3 1980 On Arnol’d’s Hilbert symposium problems. Zbl 0793.68058da Costa, N. C. A.; Doria, F. A. 3 1993 Paraconsistency: Towards a tentative interpretation. Zbl 0993.03032da Costa, Newton C. A.; Bueno, Otávio 3 2001 Paraconsistency, paracompleteness, and induction. Zbl 0627.03010Loparić, Andréa; da Costa, Newton C. A. 3 1986 Belief change and inconsistency. Zbl 1008.03016da Costa, Newton C. A.; Bueno, Otávio 3 1998 Opérations non monotones dans les treillis. Zbl 0143.24703da Costa, Newton C. A. 3 1966 Sur le schéma de la séparation. Zbl 0199.29702Arruda, Ayda I.; Da Costa, Newton C. A. 3 1970 Two formal systems of set theory. Zbl 0209.01501Da Costa, Newton C. A. 3 1967 On supernormal Ehresmann-Dedecker universes. Zbl 0215.32603Brignole, D.; Da Costa, Newton C. A. 3 1971 On set theory as a foundation for computer science. Zbl 1051.03043da Costa, N. C. A.; Doria, F. A. 2 2004 Une semantique pour le calcul \(\mathcal C_1\). Zbl 0344.02016Da Costa, Newton C. A.; Alves, Elias H. 2 1976 The undecidability of formal definitions in the theory of finite groups. Zbl 0829.03008da Costa, Newton C. A.; Doria, Francisco A.; Tsuji, Marcelo 2 1995 Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications. Zbl 0840.03030da Costa, N. C. A.; Doria, F. A. 2 1995 An overview of paraconsistent logic in the 80s. Zbl 0697.03013da Costa, Newton C. A.; Marconi, Diego 2 1989 Sur une hierarchie de systèmes formels. Zbl 0134.01504Arruda, Ayda I.; da Costa, Newton C. A. 2 1964 A model-theoretical approach to variable binding term operators. Zbl 0424.03018Da Costa, Newton C. A. 2 1980 Structures, Suppes predicates, and Boolean-valued models in physics. Zbl 0899.03040da Costa, N. C. A.; Doria, F. A. 2 1996 The incompleteness of theories of games. Zbl 0919.03037Tsuji, Marcelo; da Costa, Newton C. A.; Doria, Francisco A. 2 1998 On Jaśkowski’s discussive logics. Zbl 0818.03012da Costa, Newton C. A.; Doria, Francisco A. 2 1995 Automatic theorem proving in paraconsistent logics: Theory and implementation. Zbl 0708.68063da Costa, Newton C. A.; Henschen, L. J.; Lu, J. J.; Subrahmanian, V. S. 2 1990 Logics that are both paraconsistent and paracomplete. Zbl 0741.03012da Costa, Newton C. A. 2 1989 Carnot’s logic. Zbl 0796.03032da Costa, Newton C. A.; Béziau, Jean-Yves 2 1993 Quasi-truth, paraconsistency, and the foundations of science. Zbl 1119.03006Bueno, Otávio; da Costa, Newton C. A. 2 2007 A note on paracomplete logic. Zbl 0663.03012da Costa, Newton C. A.; Marconi, Diego 2 1986 Filtres et ideaux d’une algèbre \(C_ n\). Zbl 0155.33901Da Costa, Newton C. A. 2 1967 Gödel’s way. Exploits into an undecidable world. Zbl 1230.00014Chaitin, Gregory; da Costa, Newton; Doria, Francisco Antonio 2 2012 Un nouveau système formel suggéré par Dedecker. Zbl 0164.31402da Costa, Newton C. A. 2 1967 Sur la logique discursive de Jaskowski. Zbl 0165.30801Da Costa, Newton C. A.; Dubikajtis, L. 2 1968 Négations composées et loi de Peirce dans les systèmes \(C_n\). Zbl 0192.02903Da Costa, Newton C. A.; Guillaume, Marcel 2 1965 On supernormal Ehresmann-Dedecker universes. Zbl 0212.02101Brignole, D.; Da Costa, Newton C. A. 2 1971 Scientific knowledge. With a preface by Jean-Yves Béziau. Appendix I by N. Papavero, appendix II by F. A. Doria and appendix III by J. C. M. Magalhães. 2nd ed. (O conhecimento científico.) Zbl 0955.03009da Costa, Newton C. A. 1 1999 Elements of paraconsistent set theory. (Elementos de teoria paraconsistente de conjuntos.) Zbl 0959.03016da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio 1 1998 Opening address: Paraconsistent logic. Zbl 1002.03522da Costa, Newton C. A. 1 1999 The logic of complementarity. Zbl 1131.03011da Costa, Newton C. A.; Krause, Décio 1 2006 An overview of paraconsistent logic in the 80s. (Preprint). Zbl 0622.03006da Costa, Newton C. A.; Marconi, Diego 1 1987 Janus-faced physics: on Hilbert’s 6th problem. Zbl 1137.03006da Costa, N. C. A.; Doria, F. A. 1 2007 On some modal logical systems defined in connexion with Jaśkowski’s problem. Zbl 0359.02011da Costa, Newton C. A.; Kotas, J. 1 1977 Sur les systèmes formels \(\mathcal C_i\), \(\mathcal C_i^*\), \(\mathcal C_i^=\), \(\mathcal D_i\) et \(NF_ i\). Zbl 0134.01505da Costa, Newton C. A. 1 1965 Sur les calculs \(\mathcal C_n\). Zbl 0134.01506da Costa, Newton C. A.; Guillaume, Marcel 1 1964 A new formulation of discussive logic. Zbl 0431.03016Kotas, Jerzy; Da Costa, N. C. A. 1 1979 The Atiyah-Singer index theorem and the gauge field copy problem. Zbl 0930.58013Sant’Anna, A. S.; da Costa, N. C. A.; Doria, F. A. 1 1997 Suppes predicates for space-time. Zbl 0929.03016da Costa, Newton C. A.; Bueno, Otávio; French, Steven 1 1997 Undecidable Hopf bifurcation with undecidable fixed point. Zbl 0832.03024da Costa, N. C. A.; Doria, F. A. 1 1994 Logic and pragmatic truth. Zbl 0724.03006da Costa, Newton C. A. 1 1989 Complementarity and paraconsistency. Zbl 1096.03023da Costa, Newton C. A.; Krause, Décio 1 2004 \(\alpha\)-models and the systems T and T\(^*\). Zbl 0246.02049Da Costa, Newton C. A. 1 1974 Superlogic manifolds and geometric approach to quantum logic. Zbl 1331.81045da Costa, Newton; Kouneiher, Joseph 1 2016 Physics, inconsistency, and quasi-truth. Zbl 1307.03008da Costa, Newton C. A.; Krause, Décio 1 2014 Non-reflexive logical foundation for quantum mechanics. Zbl 1314.81021da Costa, N. C. A.; de Ronde, C. 1 2014 Superlogic manifolds and geometric approach to quantum logic. Zbl 1331.81045da Costa, Newton; Kouneiher, Joseph 1 2016 Quantum mechanics: ontology without individuals. Zbl 1312.81008da Costa, Newton; Lombardi, Olimpia 4 2014 Physics, inconsistency, and quasi-truth. Zbl 1307.03008da Costa, Newton C. A.; Krause, Décio 1 2014 Non-reflexive logical foundation for quantum mechanics. Zbl 1314.81021da Costa, N. C. A.; de Ronde, C. 1 2014 The paraconsistent logic of quantum superpositions. Zbl 1272.81014da Costa, N.; de Ronde, C. 10 2013 A modal ontology of properties for quantum mechanics. Zbl 1304.81013da Costa, Newton; Lombardi, Olimpia; Lastiri, Mariano 8 2013 Gödel’s way. Exploits into an undecidable world. Zbl 1230.00014Chaitin, Gregory; da Costa, Newton; Doria, Francisco Antonio 2 2012 On the metamathematics of the P vs. NP question. Zbl 1126.03048da Costa, N. C. A.; Doria, F. A.; Bir, E. 7 2007 Definability and invariance. Zbl 1125.03030da Costa, N. C. A.; Rodrigues, A. A. M. 7 2007 Logical and philosophical remarks on quasi-set theory. Zbl 1201.03006da Costa, Newton C. A.; Krause, Décio 3 2007 Quasi-truth, paraconsistency, and the foundations of science. Zbl 1119.03006Bueno, Otávio; da Costa, Newton C. A. 2 2007 Janus-faced physics: on Hilbert’s 6th problem. Zbl 1137.03006da Costa, N. C. A.; Doria, F. A. 1 2007 Some thoughts on hypercomputation. Zbl 1101.68564da Costa, N. C. A.; Doria, F. A. 5 2006 The logic of complementarity. Zbl 1131.03011da Costa, Newton C. A.; Krause, Décio 1 2006 On set theory as a foundation for computer science. Zbl 1051.03043da Costa, N. C. A.; Doria, F. A. 2 2004 Complementarity and paraconsistency. Zbl 1096.03023da Costa, Newton C. A.; Krause, Décio 1 2004 Consequences of an exotic definition for \(\text{P}=\text{NP}\). Zbl 1046.68060da Costa, N. C. A.; Doria, F. A. 4 2003 Paraconsistency: Towards a tentative interpretation. Zbl 0993.03032da Costa, Newton C. A.; Bueno, Otávio 3 2001 Paraconsistent mathematics. Zbl 1006.03028da Costa, Newton C. A. 3 2000 Set-theoretical models for quantum systems. Zbl 1024.03054da Costa, Newton C. A.; Krause, Décio 3 1999 Scientific knowledge. With a preface by Jean-Yves Béziau. Appendix I by N. Papavero, appendix II by F. A. Doria and appendix III by J. C. M. Magalhães. 2nd ed. (O conhecimento científico.) Zbl 0955.03009da Costa, Newton C. A. 1 1999 Opening address: Paraconsistent logic. Zbl 1002.03522da Costa, Newton C. A. 1 1999 The logic of pragmatic truth. Zbl 0916.03020da Costa, Newton C. A.; Bueno, Otávio; French, Steven 10 1998 Belief change and inconsistency. Zbl 1008.03016da Costa, Newton C. A.; Bueno, Otávio 3 1998 The incompleteness of theories of games. Zbl 0919.03037Tsuji, Marcelo; da Costa, Newton C. A.; Doria, Francisco A. 2 1998 Elements of paraconsistent set theory. (Elementos de teoria paraconsistente de conjuntos.) Zbl 0959.03016da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio 1 1998 Classical and non-classical logics: essay on the foundations of logic. (Logiques classiques et non classiques: essai sur les fondements de la logique. Traduit du portugais et complété par Jean-Yves Béziau.) Zbl 0901.03002da Costa, Newton C. A. 8 1997 An intensional Schrödinger logic. Zbl 0901.03024da Costa, Newton C. A.; Krause, Décio 6 1997 The Atiyah-Singer index theorem and the gauge field copy problem. Zbl 0930.58013Sant’Anna, A. S.; da Costa, N. C. A.; Doria, F. A. 1 1997 Suppes predicates for space-time. Zbl 0929.03016da Costa, Newton C. A.; Bueno, Otávio; French, Steven 1 1997 Malinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuedness. Zbl 0869.03014da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S. 6 1996 Structures, Suppes predicates, and Boolean-valued models in physics. Zbl 0899.03040da Costa, N. C. A.; Doria, F. A. 2 1996 Aspects of paraconsistent logic. Zbl 0843.03014da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S. 13 1995 Paraconsistent logic in a historical perspective. Zbl 0974.03029da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio 6 1995 The undecidability of formal definitions in the theory of finite groups. Zbl 0829.03008da Costa, Newton C. A.; Doria, Francisco A.; Tsuji, Marcelo 2 1995 Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications. Zbl 0840.03030da Costa, N. C. A.; Doria, F. A. 2 1995 On Jaśkowski’s discussive logics. Zbl 0818.03012da Costa, Newton C. A.; Doria, Francisco A. 2 1995 Theory of valuation. (Théorie de la valuation.) Zbl 0973.03012da Costa, Newton C. A.; Béziau, Jean-Yves 7 1994 Schrödinger logics. Zbl 0816.03032da Costa, Newton C. A.; Krause, Décio 5 1994 Valuation theory in question. (La théorie de la valuation en question.) Zbl 0820.03010da Costa, Newton C. A.; Béziau, J. Y. 5 1994 Undecidable Hopf bifurcation with undecidable fixed point. Zbl 0832.03024da Costa, N. C. A.; Doria, F. A. 1 1994 Inconsistent formal systems. (Sistemas formais inconsistentes.) Zbl 0798.03025da Costa, Newton C. A. 13 1993 Dynamical system where proving chaos is equivalent to proving Fermat’s conjecture. Zbl 0872.58027Da Cosat, N. C.; Doria, F. A.; Furtado do Amaral, A. F. 6 1993 On Arnol’d’s Hilbert symposium problems. Zbl 0793.68058da Costa, N. C. A.; Doria, F. A. 3 1993 Carnot’s logic. Zbl 0796.03032da Costa, Newton C. A.; Béziau, Jean-Yves 2 1993 Suppes predicates for classical physics. Zbl 0847.03007da Costa, Newton C. A.; Doria, F. Antonio 5 1992 Undecidability and incompleteness in classical mechanics. Zbl 0850.70023da Costa, N. C. A.; Doria, F. A. 31 1991 The paraconsistent logics P\({\mathcal T}\). Zbl 0741.03013da Costa, Newton C. A.; Subrahmanian, V. S.; Vago, Carlo 10 1991 Remarks on annotated logic. Zbl 0846.03010da Costa, Newton C. A.; Abe, Jair M.; Subrahmanian, V. S. 5 1991 A Suppes predicate for general relativity and set-theoretically generic spacetimes. Zbl 0707.03045da Costa, N. C. A.; Doria, F. A.; de Barros, J. A. 5 1990 Automatic theorem proving in paraconsistent logics: Theory and implementation. Zbl 0708.68063da Costa, Newton C. A.; Henschen, L. J.; Lu, J. J.; Subrahmanian, V. S. 2 1990 Pragmatic truth and the logic of induction. Zbl 0696.03001da Costa, Newton C. A.; French, Steven 9 1989 An overview of paraconsistent logic in the 80s. Zbl 0697.03013da Costa, Newton C. A.; Marconi, Diego 2 1989 Logics that are both paraconsistent and paracomplete. Zbl 0741.03012da Costa, Newton C. A. 2 1989 Logic and pragmatic truth. Zbl 0724.03006da Costa, Newton C. A. 1 1989 On the imaginary logic of N. A. Vasiliev. Zbl 0627.03011Puga, Leila Z.; da Costa, Newton C. A. 8 1988 An overview of paraconsistent logic in the 80s. (Preprint). Zbl 0622.03006da Costa, Newton C. A.; Marconi, Diego 1 1987 Pragmatic truth and approximation to truth. Zbl 0606.03009Mikenberg, Irene; Da Costa, Newton C. A.; Chuaqui, Rolando 22 1986 On paraconsistent set theory. Zbl 0633.03016da Costa, Newton C. A. 4 1986 Paraconsistency, paracompleteness, and induction. Zbl 0627.03010Loparić, Andréa; da Costa, Newton C. A. 3 1986 A note on paracomplete logic. Zbl 0663.03012da Costa, Newton C. A.; Marconi, Diego 2 1986 Paraconsistency, paracompleteness, and valuations. Zbl 0549.03023Loparić, Andréa; da Costa, Newton C. A. 9 1984 The philosophical import of paraconsistent logic. Zbl 0508.03003Da Costa, Newton C. A. 4 1982 Relations between paraconsistent logic and many-valued logic. Zbl 0494.03019Da Costa, Newton C. A.; Alves, Elias H. 6 1981 Studies in paraconsistent logic. I: The dialectical principle of the unity of opposites. Zbl 0614.03008da Costa, Newton C. A.; Wolf, R. G. 3 1980 Mathematical logic in Latin America. Proceedings of the IV Latin American symposium on mathematical logic, held in Santiago, December 1978. Zbl 0419.00003 3 1980 A model-theoretical approach to variable binding term operators. Zbl 0424.03018Da Costa, Newton C. A. 2 1980 A new formulation of discussive logic. Zbl 0431.03016Kotas, Jerzy; Da Costa, N. C. A. 1 1979 A semantical analysis of the calculi \(C_n\). Zbl 0349.02022Da Costa, Newton C. A.; Alves, Elias H. 34 1977 Une semantique pour le calcul \(C^=_ 1\). Zbl 0351.02020Arruda, Ayda I.; Da Costa, Newton C. A. 4 1977 On Jaśkowski’s discursive logic. Zbl 0359.02012da Costa, Newton C. A.; Dubikajtis, L. 3 1977 On some modal logical systems defined in connexion with Jaśkowski’s problem. Zbl 0359.02011da Costa, Newton C. A.; Kotas, J. 1 1977 Une semantique pour le calcul \(\mathcal C_1\). Zbl 0344.02016Da Costa, Newton C. A.; Alves, Elias H. 2 1976 Remarks on Jaskowski’s discussive logic. Zbl 0313.02018Da Costa, Newton C. A. 3 1975 On the theory of inconsistent formal systems. Zbl 0236.02022da Costa, Newton C. A. 119 1974 \(\alpha\)-models and the systems T and T\(^*\). Zbl 0246.02049Da Costa, Newton C. A. 1 1974 On supernormal Ehresmann-Dedecker universes. Zbl 0215.32603Brignole, D.; Da Costa, Newton C. A. 3 1971 On supernormal Ehresmann-Dedecker universes. Zbl 0212.02101Brignole, D.; Da Costa, Newton C. A. 2 1971 Sur un problème de Jaśkowski. Zbl 0198.01702D’Ottaviano, Itala M. L.; Da Costa, Newton C. A. 15 1970 Sur le schéma de la séparation. Zbl 0199.29702Arruda, Ayda I.; Da Costa, Newton C. A. 3 1970 Sur la logique discursive de Jaskowski. Zbl 0165.30801Da Costa, Newton C. A.; Dubikajtis, L. 2 1968 Remarques sur les univers d’Ehresmann-Dedecker. Zbl 0157.02601Da Costa, Newton C. A.; de Alesio, J. 4 1967 Two formal systems of set theory. Zbl 0209.01501Da Costa, Newton C. A. 3 1967 Filtres et ideaux d’une algèbre \(C_ n\). Zbl 0155.33901Da Costa, Newton C. A. 2 1967 Un nouveau système formel suggéré par Dedecker. Zbl 0164.31402da Costa, Newton C. A. 2 1967 Opérations non monotones dans les treillis. Zbl 0143.24703da Costa, Newton C. A. 3 1966 On two systems of set theory. Zbl 0137.01402da Costa, Newton C. A. 6 1965 Négations composées et loi de Peirce dans les systèmes \(C_n\). Zbl 0192.02903Da Costa, Newton C. A.; Guillaume, Marcel 2 1965 Sur les systèmes formels \(\mathcal C_i\), \(\mathcal C_i^*\), \(\mathcal C_i^=\), \(\mathcal D_i\) et \(NF_ i\). Zbl 0134.01505da Costa, Newton C. A. 1 1965 Sur une hierarchie de systèmes formels. Zbl 0134.01504Arruda, Ayda I.; da Costa, Newton C. A. 2 1964 Sur les calculs \(\mathcal C_n\). Zbl 0134.01506da Costa, Newton C. A.; Guillaume, Marcel 1 1964 Calculus propositionnels pour les systèmes formels inconsistants. Zbl 0118.01211da Costa, Newton C. A. 15 1963 all cited Publications top 5 cited Publications all top 5 Cited by 296 Authors 26 Da Costa, Newton Carneiro Affonso 15 Avron, Arnon 12 Béziau, Jean-Yves 12 Doria, Francisco Antonio 11 Bueno, Otávio 11 Carnielli, Walter Alexandre 10 Arieli, Ofer 10 Krause, Décio 9 Arenhart, Jonas Rafael Becker 9 Zamansky, Anna 7 Omori, Hitoshi 6 Akama, Seiki 6 Batens, Diderik 6 Caleiro, Carlos 6 Coniglio, Marcelo Esteban 6 French, Steven 6 Lombardi, Olimpia 5 de Ronde, Christian 5 Osorio, Mauricio A. 5 Rodrigues, Abilio 5 Subrahmanian, V. S. 4 Başkent, Can 4 D’Ottaviano, Itala M. Loffredo 4 Kamide, Norihiro 4 Priest, Graham 4 Tomova, Natal’ya Evgen’evna 4 Tucker, John V. 4 Wansing, Heinrich Theodor 4 Zakharov, Valeriĭ Konstantinovich 3 Beggs, Edwin J. 3 Buchsbaum, Arthur 3 Carballido, José Luis 3 Ciuciura, Janusz 3 Fortin, Sebastian 3 Gentilini, Paolo 3 Gonçalves, Ricardo 3 Lahav, Ori 3 Lewin, Renato A. 3 Marcos, João 3 Mikenberg, Irene F. 3 Pérez-Gaspar, Miguel 3 Petrukhin, Yaroslav Igorevich 3 Velupillai, Kumaraswamy (Vela) 3 Zak, Michail A. 3 Zohar, Yoni 2 Andreas, Holger 2 Antoniou, Ioannis E. 2 Antunes, Henrique 2 Besnard, Philippe 2 Borja Macías, Verónica 2 Brignole, Diana 2 Bunina, Elena Igor’evna 2 Calude, Cristian S. 2 Calude, Elena 2 Ciabattoni, Agata 2 Ciucci, Davide 2 Costa-Leite, Alexandre Fernandes Batista 2 de Araujo Feitosa, Hércules 2 de Souza, Edelcio G. 2 De, Michael 2 Delrieux, Claudio 2 Desclés, Jean-Pierre 2 Dias, Diogo H. B. 2 Domenech, Graciela 2 Dubois, Didier 2 Dunin-Kȩplicz, Barbara 2 Figallo Orellano, Aldo 2 Forcheri, Paola 2 Grant, John R. 2 Hazen, Allen P. 2 Holik, Federico Hernán 2 Konikowska, Beata 2 Kotas, Jerzy 2 Kudo, Yasuo 2 Ladyman, James 2 Martinez, Maria Vanina 2 Mikhalëv, Aleksandr Vasil’evich 2 Murai, Tetsuya 2 Odintsov, Sergei P. 2 Oldofredi, Andrea 2 Pasqualini, Matías 2 Pelletier, Francis Jeffry 2 Pequeno, Tarcísio H. C. 2 Pugliese, Andrea 2 Rad, Soroush Rafiee 2 Ripley, David 2 Sant’Anna, Adonai S. 2 Simari, Gerardo I. 2 Spendier, Lara 2 Strasser, Christian 2 Suchanecki, Zdzislaw 2 Szałas, Andrzej 2 Szmuc, Damian Enrique 2 Wassermann, Renata 2 Weber, Zach 2 Woltzenlogel Paleo, Bruno 2 Zepeda, Claudia 1 Abe, Jair Minoro 1 Ahmadi, Amir Ali 1 Al-Suwailem, Sami ...and 196 more Authors all top 5 Cited in 67 Serials 31 Studia Logica 22 Synthese 18 Logica Universalis 17 Journal of Applied Non-Classical Logics 13 Journal of Philosophical Logic 11 Foundations of Physics 10 Journal of Applied Logic 10 The Review of Symbolic Logic 8 International Journal of Theoretical Physics 7 Applied Mathematics and Computation 6 Notre Dame Journal of Formal Logic 6 Theoretical Computer Science 6 Foundations of Science 6 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 5 The Journal of Symbolic Logic 5 Logic and Logical Philosophy 4 Artificial Intelligence 4 History and Philosophy of Logic 4 Logicheskie Issledovaniya 3 Information Sciences 3 International Journal of Approximate Reasoning 3 Journal of Logic, Language and Information 3 Journal of Mathematical Sciences (New York) 3 The Bulletin of Symbolic Logic 3 New Mathematics and Natural Computation 2 Mathematische Zeitschrift 2 New Generation Computing 2 Mathematical Logic Quarterly (MLQ) 2 Annals of Mathematics and Artificial Intelligence 2 Soft Computing 2 Chaos 2 Erkenntnis 2 International Studies in the Philosophy of Science 1 Computers & Mathematics with Applications 1 Letters in Mathematical Physics 1 Mathematical Notes 1 Ukrainian Mathematical Journal 1 Journal of Soviet Mathematics 1 Mathematische Annalen 1 Rendiconti del Seminario Matematico della Università di Padova 1 Bulletin of the Section of Logic 1 Systems & Control Letters 1 Annals of Pure and Applied Logic 1 Theoria. Segunda Epoca 1 Information and Computation 1 Journal of Automated Reasoning 1 International Journal of Intelligent Systems 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Computer Mathematics 1 Archive for Mathematical Logic 1 Indagationes Mathematicae. New Series 1 Topoi 1 Infinite Dimensional Analysis, Quantum Probability and Related Topics 1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Theory and Practice of Logic Programming 1 Natural Computing 1 ACM Transactions on Computational Logic 1 International Journal of Geometric Methods in Modern Physics 1 Proceedings of the Japan Academy 1 Journal of \(K\)-Theory 1 Revista Brasileira de História da Matemática 1 European Journal for Philosophy of Science 1 Axiomathes 1 Axioms 1 Quanta 1 Nôus 1 Nonlinear Analysis. Theory, Methods & Applications all top 5 Cited in 34 Fields 265 Mathematical logic and foundations (03-XX) 66 Computer science (68-XX) 36 Quantum theory (81-XX) 23 General and overarching topics; collections (00-XX) 11 History and biography (01-XX) 10 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 Dynamical systems and ergodic theory (37-XX) 9 Mechanics of particles and systems (70-XX) 8 Category theory; homological algebra (18-XX) 5 Relativity and gravitational theory (83-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 3 Number theory (11-XX) 2 Operator theory (47-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Systems theory; control (93-XX) 1 General algebraic systems (08-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic geometry (14-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 \(K\)-theory (19-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Functional analysis (46-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Differential geometry (53-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Probability theory and stochastic processes (60-XX) 1 Fluid mechanics (76-XX) 1 Astronomy and astrophysics (85-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.