×

zbMATH — the first resource for mathematics

Da Costa, Newton Carneiro Affonso

Compute Distance To:
Author ID: da-costa.newton-carneiro-affonso Recent zbMATH articles by "Da Costa, Newton Carneiro Affonso"
Published as: Da Costa, N. C. A.; Da Costa, Newton C. A.; da Costa, N.; da Costa, N. C. A.; da Costa, Newton; da Costa, Newton C. A.; da Costa, Newton Carneiro Affonso
Homepage: https://splogic.org/professor-newton-da-costa/
External Links: MGP · Wikidata · dblp · GND
Documents Indexed: 184 Publications since 1955, including 15 Books
Reviewing Activity: 8 Reviews
Biographic References: 4 Publications
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 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 International Journal of Theoretical Physics
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 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 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 Boletim da Sociedade Paranaense de Matemática

Publications by Year

Citations contained in zbMATH Open

86 Publications have been cited 453 times in 285 Documents Cited by Year
On the theory of inconsistent formal systems. Zbl 0236.02022
da Costa, Newton C. A.
101
1974
Undecidability and incompleteness in classical mechanics. Zbl 0850.70023
da Costa, N. C. A.; Doria, F. A.
28
1991
A semantical analysis of the calculi \(C_n\). Zbl 0349.02022
Da Costa, Newton C. A.; Alves, Elias H.
28
1977
Pragmatic truth and approximation to truth. Zbl 0606.03009
Mikenberg, Irene; Da Costa, Newton C. A.; Chuaqui, Rolando
18
1986
Calculus propositionnels pour les systèmes formels inconsistants. Zbl 0118.01211
da Costa, Newton C. A.
13
1963
Sur un problème de Jaśkowski. Zbl 0198.01702
D’Ottaviano, Itala M. L.; Da Costa, Newton C. A.
11
1970
Aspects of paraconsistent logic. Zbl 0843.03014
da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S.
10
1995
The paraconsistent logic of quantum superpositions. Zbl 1272.81014
da Costa, N.; de Ronde, C.
9
2013
The logic of pragmatic truth. Zbl 0916.03020
da Costa, Newton C. A.; Bueno, Otávio; French, Steven
9
1998
Inconsistent formal systems. Zbl 0798.03025
da Costa, Newton C. A.
9
1993
Classical and non-classical logics: essay on the foundations of logic. Zbl 0901.03002
da Costa, Newton C. A.
8
1997
Pragmatic truth and the logic of induction. Zbl 0696.03001
da Costa, Newton C. A.; French, Steven
8
1989
Definability and invariance. Zbl 1125.03030
da Costa, N. C. A.; Rodrigues, A. A. M.
7
2007
The paraconsistent logics P\({\mathcal T}\). Zbl 0741.03013
da Costa, Newton C. A.; Subrahmanian, V. S.; Vago, Carlo
7
1991
On two systems of set theory. Zbl 0137.01402
da Costa, Newton C. A.
7
1965
An intensional Schrödinger logic. Zbl 0901.03024
da Costa, Newton C. A.; Krause, Décio
6
1997
Theory of valuation. Zbl 0973.03012
da Costa, Newton C. A.; Béziau, Jean-Yves
6
1994
Relations between paraconsistent logic and many-valued logic. Zbl 0494.03019
Da Costa, Newton C. A.; Alves, Elias H.
6
1981
On the metamathematics of the P vs. NP question. Zbl 1126.03048
da Costa, N. C. A.; Doria, F. A.; Bir, E.
5
2007
Some thoughts on hypercomputation. Zbl 1101.68564
da Costa, N. C. A.; Doria, F. A.
5
2006
Consequences of an exotic definition for \(\text{P}=\text{NP}\). Zbl 1046.68060
da Costa, N. C. A.; Doria, F. A.
5
2003
Malinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuedness. Zbl 0869.03014
da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S.
5
1996
Paraconsistent logic in a historical perspective. Zbl 0974.03029
da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio
5
1995
Schrödinger logics. Zbl 0816.03032
da Costa, Newton C. A.; Krause, Décio
5
1994
Suppes predicates for classical physics. Zbl 0847.03007
da Costa, Newton C. A.; Doria, F. Antonio
5
1992
A Suppes predicate for general relativity and set-theoretically generic spacetimes. Zbl 0707.03045
da Costa, N. C. A.; Doria, F. A.; de Barros, J. A.
5
1990
On the imaginary logic of N. A. Vasiliev. Zbl 0627.03011
Puga, Leila Z.; da Costa, Newton C. A.
5
1988
Paraconsistency, paracompleteness, and valuations. Zbl 0549.03023
Loparić, Andréa; da Costa, Newton C. A.
5
1984
Valuation theory in question. Zbl 0820.03010
da Costa, Newton C. A.; Béziau, J. Y.
4
1994
Remarks on annotated logic. Zbl 0846.03010
da Costa, Newton C. A.; Abe, Jair M.; Subrahmanian, V. S.
4
1991
Une semantique pour le calcul \(C^=_ 1\). Zbl 0351.02020
Arruda, Ayda I.; Da Costa, Newton C. A.
4
1977
Remarques sur les univers d’Ehresmann-Dedecker. Zbl 0157.02601
Da Costa, Newton C. A.; de Alesio, J.
4
1967
Logical and philosophical remarks on quasi-set theory. Zbl 1201.03006
da Costa, Newton C. A.; Krause, Décio
3
2007
Paraconsistency: Towards a tentative interpretation. Zbl 0993.03032
da Costa, Newton C. A.; Bueno, Otávio
3
2001
Paraconsistent mathematics. Zbl 1006.03028
da Costa, Newton C. A.
3
2000
Set-theoretical models for quantum systems. Zbl 1024.03054
da Costa, Newton C. A.; Krause, Décio
3
1999
On Arnol’d’s Hilbert symposium problems. Zbl 0793.68058
da Costa, N. C. A.; Doria, F. A.
3
1993
The philosophical import of paraconsistent logic. Zbl 0508.03003
Da Costa, Newton C. A.
3
1982
Studies in paraconsistent logic. I: The dialectical principle of the unity of opposites. Zbl 0614.03008
da 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
Arruda, Ayda I. (ed.); Chuaqui, R. (ed.); da Costa, Newton C. A. (ed.)
3
1980
On Jaśkowski’s discursive logic. Zbl 0359.02012
da Costa, Newton C. A.; Dubikajtis, L.
3
1977
Remarks on Jaskowski’s discussive logic. Zbl 0313.02018
Da Costa, Newton C. A.
3
1975
On supernormal Ehresmann-Dedecker universes. Zbl 0215.32603
Brignole, D.; Da Costa, Newton C. A.
3
1971
Two formal systems of set theory. Zbl 0209.01501
Da Costa, Newton C. A.
3
1967
A modal ontology of properties for quantum mechanics. Zbl 1304.81013
da Costa, Newton; Lombardi, Olimpia; Lastiri, Mariano
2
2013
On set theory as a foundation for computer science. Zbl 1051.03043
da Costa, N. C. A.; Doria, F. A.
2
2004
Belief change and inconsistency. Zbl 1008.03016
da Costa, Newton C. A.; Bueno, Otávio
2
1998
The incompleteness of theories of games. Zbl 0919.03037
Tsuji, Marcelo; da Costa, Newton C. A.; Doria, Francisco A.
2
1998
Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications. Zbl 0840.03030
da Costa, N. C. A.; Doria, F. A.
2
1995
The undecidability of formal definitions in the theory of finite groups. Zbl 0829.03008
da Costa, Newton C. A.; Doria, Francisco A.; Tsuji, Marcelo
2
1995
On Jaśkowski’s discussive logics. Zbl 0818.03012
da Costa, Newton C. A.; Doria, Francisco A.
2
1995
Automatic theorem proving in paraconsistent logics: Theory and implementation. Zbl 0708.68063
da Costa, Newton C. A.; Henschen, L. J.; Lu, J. J.; Subrahmanian, V. S.
2
1990
An overview of paraconsistent logic in the 80s. Zbl 0697.03013
da Costa, Newton C. A.; Marconi, Diego
2
1989
Logics that are both paraconsistent and paracomplete. Zbl 0741.03012
da Costa, Newton C. A.
2
1989
On paraconsistent set theory. Zbl 0633.03016
da Costa, Newton C. A.
2
1986
Paraconsistency, paracompleteness, and induction. Zbl 0627.03010
Loparić, Andréa; da Costa, Newton C. A.
2
1986
A model-theoretical approach to variable binding term operators. Zbl 0424.03018
Da Costa, Newton C. A.
2
1980
On supernormal Ehresmann-Dedecker universes. Zbl 0212.02101
Brignole, D.; Da Costa, Newton C. A.
2
1971
Sur le schéma de la séparation. Zbl 0199.29702
Arruda, Ayda I.; Da Costa, Newton C. A.
2
1970
Sur la logique discursive de Jaskowski. Zbl 0165.30801
Da Costa, Newton C. A.; Dubikajtis, L.
2
1968
Un nouveau système formel suggéré par Dedecker. Zbl 0164.31402
da Costa, Newton C. A.
2
1967
Opérations non monotones dans les treillis. Zbl 0143.24703
da Costa, Newton C. A.
2
1966
Superlogic manifolds and geometric approach to quantum logic. Zbl 1331.81045
da Costa, Newton; Kouneiher, Joseph
1
2016
Non-reflexive logical foundation for quantum mechanics. Zbl 1314.81021
da Costa, N. C. A.; de Ronde, C.
1
2014
Quantum mechanics: ontology without individuals. Zbl 1312.81008
da Costa, Newton; Lombardi, Olimpia
1
2014
Physics, inconsistency, and quasi-truth. Zbl 1307.03008
da Costa, Newton C. A.; Krause, Décio
1
2014
Gödel’s way. Exploits into an undecidable world. Zbl 1230.00014
Chaitin, Gregory; da Costa, Newton; Doria, Francisco Antonio
1
2012
Janus-faced physics: on Hilbert’s 6th problem. Zbl 1137.03006
da Costa, N. C. A.; Doria, F. A.
1
2007
The logic of complementarity. Zbl 1131.03011
da Costa, Newton C. A.; Krause, Décio
1
2006
Opening address: Paraconsistent logic. Zbl 1002.03522
da Costa, Newton C. A.
1
1999
Elements of paraconsistent set theory. Zbl 0959.03016
da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio
1
1998
Suppes predicates for space-time. Zbl 0929.03016
da Costa, Newton C. A.; Bueno, Otávio; French, Steven
1
1997
The Atiyah-Singer index theorem and the gauge field copy problem. Zbl 0930.58013
Sant’Anna, A. S.; da Costa, N. C. A.; Doria, F. A.
1
1997
Structures, Suppes predicates, and Boolean-valued models in physics. Zbl 0899.03040
da Costa, N. C. A.; Doria, F. A.
1
1996
Carnot’s logic. Zbl 0796.03032
da Costa, Newton C. A.; Béziau, Jean-Yves
1
1993
Logic and pragmatic truth. Zbl 0724.03006
da Costa, Newton C. A.
1
1989
An overview of paraconsistent logic in the 80s. (Preprint). Zbl 0622.03006
da Costa, Newton C. A.; Marconi, Diego
1
1987
A note on paracomplete logic. Zbl 0663.03012
da Costa, Newton C. A.; Marconi, Diego
1
1986
A new formulation of discussive logic. Zbl 0431.03016
Kotas, Jerzy; Da Costa, N. C. A.
1
1979
On some modal logical systems defined in connexion with Jaśkowski’s problem. Zbl 0359.02011
da Costa, Newton C. A.; Kotas, J.
1
1977
Une semantique pour le calcul \(\mathcal C_1\). Zbl 0344.02016
Da Costa, Newton C. A.; Alves, Elias H.
1
1976
\(\alpha\)-models and the systems T and T\(^*\). Zbl 0246.02049
Da Costa, Newton C. A.
1
1974
Filtres et ideaux d’une algèbre \(C_ n\). Zbl 0155.33901
Da Costa, Newton C. A.
1
1967
Négations composées et loi de Peirce dans les systèmes \(C_n\). Zbl 0192.02903
Da Costa, Newton C. A.; Guillaume, Marcel
1
1965
Sur les systèmes formels \(\mathcal C_i\), \(\mathcal C_i^*\), \(\mathcal C_i^=\), \(\mathcal D_i\) et \(NF_ i\). Zbl 0134.01505
da Costa, Newton C. A.
1
1965
Sur une hierarchie de systèmes formels. Zbl 0134.01504
Arruda, Ayda I.; da Costa, Newton C. A.
1
1964
Superlogic manifolds and geometric approach to quantum logic. Zbl 1331.81045
da Costa, Newton; Kouneiher, Joseph
1
2016
Non-reflexive logical foundation for quantum mechanics. Zbl 1314.81021
da Costa, N. C. A.; de Ronde, C.
1
2014
Quantum mechanics: ontology without individuals. Zbl 1312.81008
da Costa, Newton; Lombardi, Olimpia
1
2014
Physics, inconsistency, and quasi-truth. Zbl 1307.03008
da Costa, Newton C. A.; Krause, Décio
1
2014
The paraconsistent logic of quantum superpositions. Zbl 1272.81014
da Costa, N.; de Ronde, C.
9
2013
A modal ontology of properties for quantum mechanics. Zbl 1304.81013
da Costa, Newton; Lombardi, Olimpia; Lastiri, Mariano
2
2013
Gödel’s way. Exploits into an undecidable world. Zbl 1230.00014
Chaitin, Gregory; da Costa, Newton; Doria, Francisco Antonio
1
2012
Definability and invariance. Zbl 1125.03030
da Costa, N. C. A.; Rodrigues, A. A. M.
7
2007
On the metamathematics of the P vs. NP question. Zbl 1126.03048
da Costa, N. C. A.; Doria, F. A.; Bir, E.
5
2007
Logical and philosophical remarks on quasi-set theory. Zbl 1201.03006
da Costa, Newton C. A.; Krause, Décio
3
2007
Janus-faced physics: on Hilbert’s 6th problem. Zbl 1137.03006
da Costa, N. C. A.; Doria, F. A.
1
2007
Some thoughts on hypercomputation. Zbl 1101.68564
da Costa, N. C. A.; Doria, F. A.
5
2006
The logic of complementarity. Zbl 1131.03011
da Costa, Newton C. A.; Krause, Décio
1
2006
On set theory as a foundation for computer science. Zbl 1051.03043
da Costa, N. C. A.; Doria, F. A.
2
2004
Consequences of an exotic definition for \(\text{P}=\text{NP}\). Zbl 1046.68060
da Costa, N. C. A.; Doria, F. A.
5
2003
Paraconsistency: Towards a tentative interpretation. Zbl 0993.03032
da Costa, Newton C. A.; Bueno, Otávio
3
2001
Paraconsistent mathematics. Zbl 1006.03028
da Costa, Newton C. A.
3
2000
Set-theoretical models for quantum systems. Zbl 1024.03054
da Costa, Newton C. A.; Krause, Décio
3
1999
Opening address: Paraconsistent logic. Zbl 1002.03522
da Costa, Newton C. A.
1
1999
The logic of pragmatic truth. Zbl 0916.03020
da Costa, Newton C. A.; Bueno, Otávio; French, Steven
9
1998
Belief change and inconsistency. Zbl 1008.03016
da Costa, Newton C. A.; Bueno, Otávio
2
1998
The incompleteness of theories of games. Zbl 0919.03037
Tsuji, Marcelo; da Costa, Newton C. A.; Doria, Francisco A.
2
1998
Elements of paraconsistent set theory. Zbl 0959.03016
da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio
1
1998
Classical and non-classical logics: essay on the foundations of logic. Zbl 0901.03002
da Costa, Newton C. A.
8
1997
An intensional Schrödinger logic. Zbl 0901.03024
da Costa, Newton C. A.; Krause, Décio
6
1997
Suppes predicates for space-time. Zbl 0929.03016
da Costa, Newton C. A.; Bueno, Otávio; French, Steven
1
1997
The Atiyah-Singer index theorem and the gauge field copy problem. Zbl 0930.58013
Sant’Anna, A. S.; da Costa, N. C. A.; Doria, F. A.
1
1997
Malinowski and Suszko on many-valued logics: On the reduction of many-valuedness to two-valuedness. Zbl 0869.03014
da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S.
5
1996
Structures, Suppes predicates, and Boolean-valued models in physics. Zbl 0899.03040
da Costa, N. C. A.; Doria, F. A.
1
1996
Aspects of paraconsistent logic. Zbl 0843.03014
da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio A. S.
10
1995
Paraconsistent logic in a historical perspective. Zbl 0974.03029
da Costa, Newton C. A.; Béziau, Jean-Yves; Bueno, Otávio
5
1995
Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications. Zbl 0840.03030
da Costa, N. C. A.; Doria, F. A.
2
1995
The undecidability of formal definitions in the theory of finite groups. Zbl 0829.03008
da Costa, Newton C. A.; Doria, Francisco A.; Tsuji, Marcelo
2
1995
On Jaśkowski’s discussive logics. Zbl 0818.03012
da Costa, Newton C. A.; Doria, Francisco A.
2
1995
Theory of valuation. Zbl 0973.03012
da Costa, Newton C. A.; Béziau, Jean-Yves
6
1994
Schrödinger logics. Zbl 0816.03032
da Costa, Newton C. A.; Krause, Décio
5
1994
Valuation theory in question. Zbl 0820.03010
da Costa, Newton C. A.; Béziau, J. Y.
4
1994
Inconsistent formal systems. Zbl 0798.03025
da Costa, Newton C. A.
9
1993
On Arnol’d’s Hilbert symposium problems. Zbl 0793.68058
da Costa, N. C. A.; Doria, F. A.
3
1993
Carnot’s logic. Zbl 0796.03032
da Costa, Newton C. A.; Béziau, Jean-Yves
1
1993
Suppes predicates for classical physics. Zbl 0847.03007
da Costa, Newton C. A.; Doria, F. Antonio
5
1992
Undecidability and incompleteness in classical mechanics. Zbl 0850.70023
da Costa, N. C. A.; Doria, F. A.
28
1991
The paraconsistent logics P\({\mathcal T}\). Zbl 0741.03013
da Costa, Newton C. A.; Subrahmanian, V. S.; Vago, Carlo
7
1991
Remarks on annotated logic. Zbl 0846.03010
da Costa, Newton C. A.; Abe, Jair M.; Subrahmanian, V. S.
4
1991
A Suppes predicate for general relativity and set-theoretically generic spacetimes. Zbl 0707.03045
da Costa, N. C. A.; Doria, F. A.; de Barros, J. A.
5
1990
Automatic theorem proving in paraconsistent logics: Theory and implementation. Zbl 0708.68063
da Costa, Newton C. A.; Henschen, L. J.; Lu, J. J.; Subrahmanian, V. S.
2
1990
Pragmatic truth and the logic of induction. Zbl 0696.03001
da Costa, Newton C. A.; French, Steven
8
1989
An overview of paraconsistent logic in the 80s. Zbl 0697.03013
da Costa, Newton C. A.; Marconi, Diego
2
1989
Logics that are both paraconsistent and paracomplete. Zbl 0741.03012
da Costa, Newton C. A.
2
1989
Logic and pragmatic truth. Zbl 0724.03006
da Costa, Newton C. A.
1
1989
On the imaginary logic of N. A. Vasiliev. Zbl 0627.03011
Puga, Leila Z.; da Costa, Newton C. A.
5
1988
An overview of paraconsistent logic in the 80s. (Preprint). Zbl 0622.03006
da Costa, Newton C. A.; Marconi, Diego
1
1987
Pragmatic truth and approximation to truth. Zbl 0606.03009
Mikenberg, Irene; Da Costa, Newton C. A.; Chuaqui, Rolando
18
1986
On paraconsistent set theory. Zbl 0633.03016
da Costa, Newton C. A.
2
1986
Paraconsistency, paracompleteness, and induction. Zbl 0627.03010
Loparić, Andréa; da Costa, Newton C. A.
2
1986
A note on paracomplete logic. Zbl 0663.03012
da Costa, Newton C. A.; Marconi, Diego
1
1986
Paraconsistency, paracompleteness, and valuations. Zbl 0549.03023
Loparić, Andréa; da Costa, Newton C. A.
5
1984
The philosophical import of paraconsistent logic. Zbl 0508.03003
Da Costa, Newton C. A.
3
1982
Relations between paraconsistent logic and many-valued logic. Zbl 0494.03019
Da Costa, Newton C. A.; Alves, Elias H.
6
1981
Studies in paraconsistent logic. I: The dialectical principle of the unity of opposites. Zbl 0614.03008
da 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
Arruda, Ayda I. (ed.); Chuaqui, R. (ed.); da Costa, Newton C. A. (ed.)
3
1980
A model-theoretical approach to variable binding term operators. Zbl 0424.03018
Da Costa, Newton C. A.
2
1980
A new formulation of discussive logic. Zbl 0431.03016
Kotas, Jerzy; Da Costa, N. C. A.
1
1979
A semantical analysis of the calculi \(C_n\). Zbl 0349.02022
Da Costa, Newton C. A.; Alves, Elias H.
28
1977
Une semantique pour le calcul \(C^=_ 1\). Zbl 0351.02020
Arruda, Ayda I.; Da Costa, Newton C. A.
4
1977
On Jaśkowski’s discursive logic. Zbl 0359.02012
da Costa, Newton C. A.; Dubikajtis, L.
3
1977
On some modal logical systems defined in connexion with Jaśkowski’s problem. Zbl 0359.02011
da Costa, Newton C. A.; Kotas, J.
1
1977
Une semantique pour le calcul \(\mathcal C_1\). Zbl 0344.02016
Da Costa, Newton C. A.; Alves, Elias H.
1
1976
Remarks on Jaskowski’s discussive logic. Zbl 0313.02018
Da Costa, Newton C. A.
3
1975
On the theory of inconsistent formal systems. Zbl 0236.02022
da Costa, Newton C. A.
101
1974
\(\alpha\)-models and the systems T and T\(^*\). Zbl 0246.02049
Da Costa, Newton C. A.
1
1974
On supernormal Ehresmann-Dedecker universes. Zbl 0215.32603
Brignole, D.; Da Costa, Newton C. A.
3
1971
On supernormal Ehresmann-Dedecker universes. Zbl 0212.02101
Brignole, D.; Da Costa, Newton C. A.
2
1971
Sur un problème de Jaśkowski. Zbl 0198.01702
D’Ottaviano, Itala M. L.; Da Costa, Newton C. A.
11
1970
Sur le schéma de la séparation. Zbl 0199.29702
Arruda, Ayda I.; Da Costa, Newton C. A.
2
1970
Sur la logique discursive de Jaskowski. Zbl 0165.30801
Da Costa, Newton C. A.; Dubikajtis, L.
2
1968
Remarques sur les univers d’Ehresmann-Dedecker. Zbl 0157.02601
Da Costa, Newton C. A.; de Alesio, J.
4
1967
Two formal systems of set theory. Zbl 0209.01501
Da Costa, Newton C. A.
3
1967
Un nouveau système formel suggéré par Dedecker. Zbl 0164.31402
da Costa, Newton C. A.
2
1967
Filtres et ideaux d’une algèbre \(C_ n\). Zbl 0155.33901
Da Costa, Newton C. A.
1
1967
Opérations non monotones dans les treillis. Zbl 0143.24703
da Costa, Newton C. A.
2
1966
On two systems of set theory. Zbl 0137.01402
da Costa, Newton C. A.
7
1965
Négations composées et loi de Peirce dans les systèmes \(C_n\). Zbl 0192.02903
Da Costa, Newton C. A.; Guillaume, Marcel
1
1965
Sur les systèmes formels \(\mathcal C_i\), \(\mathcal C_i^*\), \(\mathcal C_i^=\), \(\mathcal D_i\) et \(NF_ i\). Zbl 0134.01505
da Costa, Newton C. A.
1
1965
Sur une hierarchie de systèmes formels. Zbl 0134.01504
Arruda, Ayda I.; da Costa, Newton C. A.
1
1964
Calculus propositionnels pour les systèmes formels inconsistants. Zbl 0118.01211
da Costa, Newton C. A.
13
1963
all top 5

Cited by 272 Authors

26 Da Costa, Newton Carneiro Affonso
14 Avron, Arnon
13 Doria, Francisco Antonio
11 Béziau, Jean-Yves
11 Bueno, Otávio
10 Krause, Décio
9 Arieli, Ofer
8 Carnielli, Walter Alexandre
8 Zamansky, Anna
7 Arenhart, Jonas Rafael Becker
6 Akama, Seiki
6 Batens, Diderik
6 French, Steven
6 Omori, Hitoshi
5 Caleiro, Carlos
5 de Ronde, Christian
5 Subrahmanian, V. S.
4 Başkent, Can
4 D’Ottaviano, Itala M. Loffredo
4 Kamide, Norihiro
4 Lombardi, Olimpia
4 Osorio, Mauricio A.
4 Priest, Graham
4 Tucker, John V.
4 Wansing, Heinrich Theodor
4 Zakharov, Valeriĭ Konstantinovich
3 Beggs, Edwin J.
3 Buchsbaum, Arthur
3 Carballido, José Luis
3 Gentilini, Paolo
3 Gonçalves, Ricardo
3 Lahav, Ori
3 Lewin, Renato A.
3 Marcos, João
3 Mikenberg, Irene F.
3 Velupillai, Kumaraswamy (Vela)
3 Zak, Michail A.
3 Zohar, Yoni
2 Andreas, Holger
2 Antoniou, Ioannis E.
2 Besnard, Philippe
2 Borja Macías, Verónica
2 Brignole, Diana
2 Bunina, E. I.
2 Calude, Cristian S.
2 Ciabattoni, Agata
2 Ciucci, Davide
2 Coniglio, Marcelo Esteban
2 de Araujo Feitosa, Hércules
2 De, Michael
2 Delrieux, Claudio
2 Desclés, Jean-Pierre
2 Domenech, Graciela
2 Dubois, Didier
2 Forcheri, Paola
2 Grant, John R.
2 Hazen, Allen P.
2 Holik, Federico
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 Pelletier, Francis Jeffry
2 Pequeno, Tarcísio H. C.
2 Pérez-Gaspar, Miguel
2 Petrukhin, Yaroslav Igorevich
2 Pugliese, Andrea
2 Ripley, David
2 Rodrigues, Abilio
2 Sant’Anna, Adonai S.
2 Simari, Gerardo I.
2 Spendier, Lara
2 Strasser, Christian
2 Suchanecki, Zdzislaw
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
1 Alama, Jesse
1 Alonso-Stenberg, K.
1 Alves, Elias Humberto
1 Anderson, Michael L.
1 Andreev, P. V.
1 Antoniou, Grigoris
1 Arlo Costa, Horacio L.
1 Arrazola Ramírez, José Ramón Enrique
1 Bagai, Rajiv
1 Barrio, Eduardo Alejandro
1 Beall, Jc
1 Belhaj, Adil
1 Benferhat, Salem
1 Benslimane, Zakariae
1 Benzmüller, Christoph Ewald
...and 172 more Authors
all top 5

Cited in 62 Serials

29 Studia Logica
19 Synthese
16 Journal of Applied Non-Classical Logics
15 Logica Universalis
11 Journal of Philosophical Logic
10 Journal of Applied Logic
8 International Journal of Theoretical Physics
8 Applied Mathematics and Computation
7 The Review of Symbolic Logic
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 Foundations of Physics
4 Artificial Intelligence
4 The Journal of Symbolic Logic
4 History and Philosophy of Logic
3 Information Sciences
3 International Journal of Approximate Reasoning
3 Journal of Mathematical Sciences (New York)
3 Logic and Logical Philosophy
3 New Mathematics and Natural Computation
2 Mathematische Zeitschrift
2 New Generation Computing
2 Journal of Logic, Language and Information
2 Mathematical Logic Quarterly (MLQ)
2 The Bulletin of Symbolic Logic
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 Biosciences
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 Systems & Control Letters
1 Annals of Pure and Applied Logic
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 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 European Journal for Philosophy of Science
1 Axiomathes
1 Axioms
1 Nôus
1 Nonlinear Analysis. Theory, Methods & Applications

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.