×

zbMATH — the first resource for mathematics

Carnielli, Walter Alexandre

Compute Distance To:
Author ID: carnielli.walter-alexandre Recent zbMATH articles by "Carnielli, Walter Alexandre"
Published as: Carnielli, W.; Carnielli, W. A.; Carnielli, Walter; Carnielli, Walter A.; Carnielli, Walter Alexandre
External Links: MGP · Wikidata · dblp
Documents Indexed: 99 Publications since 1981, including 14 Books
Reviewing Activity: 1 Review
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH

58 Publications have been cited 479 times in 300 Documents Cited by Year
Logics of formal inconsistency. Zbl 1266.03006
Carnielli, Walter; Coniglio, Marcelo E.; Marcos, João
75
2007
A taxonomy of C-systems. Zbl 1036.03022
Carnielli, Walter A.; Marcos, João
35
2002
Formal inconsistency and evolutionary databases. Zbl 1005.03509
Carnielli, Walter A.; Marcos, João; de Amo, Sandra
26
2000
Semi-stable semantics. Zbl 1267.68223
Caminada, Martin W. A.; Carnielli, Walter A.; Dunne, Paul E.
22
2012
Systematization of finite many-valued logics through the method of tableaux. Zbl 0633.03008
Carnielli, Walter A.
22
1987
Analysis and synthesis of logics. How to cut and paste reasoning systems. Zbl 1137.03001
Carnielli, Walter; Coniglio, Marcelo; Gabbay, Dov M.; Gouveia, Paula; Sernadas, Cristina
20
2008
Two’s company: “The humbug of many logical values”. Zbl 1076.03006
Caleiro, Carlos; Carnielli, Walter; Coniglio, Marcelo; Marcos, João
20
2005
Possible-translations semantics for paraconsistent logics. Zbl 1002.03525
Carnielli, Walter A.
16
2000
Limits for paraconsistent calculi. Zbl 1007.03028
Carnielli, Walter A.; Marcos, João
16
1999
Paraconsistent logic: consistency, contradiction and negation. Zbl 1355.03001
Carnielli, Walter; Coniglio, Marcelo Esteban
15
2016
Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler. Zbl 1210.03017
Carnielli, Walter; Pizzi, Claudio
15
2008
Maximal weakly-intuitionistic logics. Zbl 0841.03009
Sette, A. M.; Carnielli, Walter A.
15
1995
Anti-intuitionism and paraconsistency. Zbl 1067.03033
Brunner, Andreas B. M.; Carnielli, Walter A.
14
2005
Society semantics and multiple-valued logics. Zbl 0942.03034
Carnielli, Walter A.; Lima-Marques, Mamede
12
1999
On sequents and tableaux for many-valued logics. Zbl 0774.03006
Carnielli, Walter A.
10
1991
On covering and coloring problems for rook domains. Zbl 0589.05029
Carnielli, Walter Alexandre
10
1985
New dimensions on translations between logics. Zbl 1255.03029
Carnielli, Walter A.; Coniglio, Marcelo E.; D’Ottaviano, Itala M. L.
8
2009
Handbook of paraconsistency. Zbl 1206.03030
Béziau, Jean-Yves (ed.); Carnielli, Walter (ed.); Gabbay, Dov (ed.)
8
2007
A logical framework for integrating inconsistent information in multiple databases. Zbl 1044.68049
de Amo, Sandra; Carnielli, Walter A.; Marcos, João
8
2002
Fibring non-truth-functional logics: Completeness preservation. Zbl 1015.03010
Caleiro, C.; Carnielli, W. A.; Coniglio, M. E.; Sernadas, A.; Sernadas, C.
7
2003
Modulated fibring and the collapsing problem. Zbl 1043.03010
Sernadas, Cristina; Rasga, João; Carnielli, Walter A.
7
2002
Computability. Computable functions, logic, and the foundations of mathematics. Zbl 0685.03001
Epstein, Richard L.; Carnielli, Walter A.
7
1989
Hyper-rook domain inequalities. Zbl 0692.05020
Carnielli, Walter A.
6
1990
Polynomial ring calculus for modal logics: a new semantics and proof method for modalities. Zbl 1233.03027
Agudelo, Juan C.; Carnielli, Walter
5
2011
Translations between logical systems: A manifesto. Zbl 0982.03006
Carnielli, Walter A.; D’Ottaviano, Itala Maria Loffredo
5
1997
Some results on polarized partition relations of higher dimension. Zbl 0805.03035
Carnielli, Walter Alexandre; Di Prisco, Carlos Augusto
5
1993
Preservation of interpolation features by fibring. Zbl 1138.03010
Carnielli, Walter; Rasga, João; Sernadas, Cristina
4
2008
Splitting logics. Zbl 1279.03049
Carnielli, Walter; Coniglio, Marcelo E.
4
2005
Transfers between logics and their applications. Zbl 1016.03039
Coniglio, M. E.; Carnielli, W. A.
4
2002
\(K_{2,2}\)-\(K_{1,n}\) and \(K_{2,n}\)-\(K_{2,n}\) bipartite Ramsey numbers. Zbl 0969.05045
Carnielli, W. A.; Monte Carmelo, E. L.
4
2000
The method of polynomial ring calculus and its potentialities. Zbl 1338.03012
Carnielli, Walter; Matulovic, Mariana
3
2015
Paraconsistent machines and their relation to quantum computing. Zbl 1196.03053
Agudelo, Juan C.; Carnielli, Walter
3
2010
Surviving abduction. Zbl 1108.03031
Carnielli, Walter
3
2006
The dialogical approach to paraconsistency. Zbl 0970.03030
Rahman, Shahid; Carnielli, Walter A.
3
2000
On the Ramsey problem for multicolor bipartite graphs. Zbl 0916.05052
Carnielli, W. A.; Monte Carmelo, E. L.
3
1999
Contextual negations and reasoning with contradictions. Zbl 0742.68052
Carnielli, Walter Alexandre; Fariñas del Cerro, Luis; Marques, Mameda Lima
3
1991
Polynomial ring calculus for modalities. Zbl 1444.03038
Agudelo-Agudelo, Juan C.; Carnielli, Walter
2
2017
Paraconsistency and duality: between ontological and epistemological views. Zbl 1410.03019
Carnielli, Walter; Rodrigues, Abilio
2
2016
Paraconsistent set theory by predicating on consistency. Zbl 1444.03148
Carnielli, Walter; Coniglio, Marcelo E.
2
2016
Non-deterministic semantics in polynomial format. Zbl 1335.03012
Carnielli, Walter; Matulovic, Mariana
2
2014
On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency. Zbl 1337.03035
Carnielli, Walter; Coniglio, Marcelo E.; Podiacki, Rodrigo; Rodrigues, Tarcísio
2
2014
Formal polynomials, heuristics and proofs in logic. Zbl 1213.03077
Carnielli, W.
2
2010
Interpolation via translations. Zbl 1178.03043
Rasga, João; Carnielli, Walter; Sernadas, Cristina
2
2009
Possible-translations algebraizability. Zbl 1230.03096
Bueno-Soler, Juliana; Coniglio, Marcelo E.; Carnielli, Walter
2
2007
Possible-translations algebraization for paraconsistent logics. Zbl 1117.03035
Bueno-Soler, Juliana; Carnielli, Walter
2
2005
Logics for qualitative reasoning. Zbl 1083.03037
Veloso, Paulo A. S.; Carnielli, Walter A.
2
2004
Modality and multimodality. Zbl 1015.03001
Carnielli, Walter A.; Pizzi, Claudio
2
2001
Ultrafilter logic and generic reasoning. Zbl 0884.03024
Carnielli, W. A.; Veloso, P. A. S.
2
1997
Reasoning under inconsistent knowledge. Zbl 0807.03015
Carnielli, Walter Alexandre; Lima-Marques, Mamede
2
1992
Paraconsistent algebras. Zbl 0581.03013
Carnielli, Walter Alexandre; de Alcantara, Luiz Paulo
2
1984
Contradictions, inconsistencies and other oxymora. Zbl 1410.03002
Carnielli, Walter; Rodrigues, Abilio
1
2015
On discourses addressed by infidel logicians. Zbl 1272.03010
Carnielli, Walter; Coniglio, Marcelo E.
1
2013
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning. Zbl 1246.03087
De Araújo, Anderson; Carnielli, Walter
1
2012
Special issue: Formal representations in model-based reasoning and abduction. Selected papers based on the presentations at the 5th international conference ‘Model-based reasoning in science and technology. Abduction, logic, and computational discovery’, MBR Brazil 2009, Campinas, Brazil, December 17–19, 2009. Zbl 1283.03011
Magnani, Lorenzo (ed.); Carnielli, Walter (ed.); Pizzi, Claudio (ed.)
1
2012
Two’s company: “The humbug of many logical values”. Zbl 1146.03300
Caleiro, Carlos; Carnielli, Walter; Conigho, Marcelo E.; Marcos, João
1
2007
Paraconsistency. The logical way to the inconsistent. Proceedings of the 2nd world congress on paraconsistency, WCP ’2000, in honor of Newton da Costa on the occasion of his 70th birthday, São Paulo, Brazil, May 12–19, 2000. Zbl 1021.00009
Carnielli, Walter A. (ed.); Coniglio, Marcelo E. (ed.); D’Ottaviano, Itala Maria Loffredo (ed.)
1
2002
An alternative view of default reasoning and its logic. Zbl 1041.03025
Sette, A. M.; Carnielli, Walter A.; Veloso, Paulo A. S.
1
1999
Methods of proof for relatedness and dependence logics. Zbl 0651.03021
Carnielli, Walter A.
1
1987
Polynomial ring calculus for modalities. Zbl 1444.03038
Agudelo-Agudelo, Juan C.; Carnielli, Walter
2
2017
Paraconsistent logic: consistency, contradiction and negation. Zbl 1355.03001
Carnielli, Walter; Coniglio, Marcelo Esteban
15
2016
Paraconsistency and duality: between ontological and epistemological views. Zbl 1410.03019
Carnielli, Walter; Rodrigues, Abilio
2
2016
Paraconsistent set theory by predicating on consistency. Zbl 1444.03148
Carnielli, Walter; Coniglio, Marcelo E.
2
2016
The method of polynomial ring calculus and its potentialities. Zbl 1338.03012
Carnielli, Walter; Matulovic, Mariana
3
2015
Contradictions, inconsistencies and other oxymora. Zbl 1410.03002
Carnielli, Walter; Rodrigues, Abilio
1
2015
Non-deterministic semantics in polynomial format. Zbl 1335.03012
Carnielli, Walter; Matulovic, Mariana
2
2014
On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency. Zbl 1337.03035
Carnielli, Walter; Coniglio, Marcelo E.; Podiacki, Rodrigo; Rodrigues, Tarcísio
2
2014
On discourses addressed by infidel logicians. Zbl 1272.03010
Carnielli, Walter; Coniglio, Marcelo E.
1
2013
Semi-stable semantics. Zbl 1267.68223
Caminada, Martin W. A.; Carnielli, Walter A.; Dunne, Paul E.
22
2012
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning. Zbl 1246.03087
De Araújo, Anderson; Carnielli, Walter
1
2012
Special issue: Formal representations in model-based reasoning and abduction. Selected papers based on the presentations at the 5th international conference ‘Model-based reasoning in science and technology. Abduction, logic, and computational discovery’, MBR Brazil 2009, Campinas, Brazil, December 17–19, 2009. Zbl 1283.03011
Magnani, Lorenzo (ed.); Carnielli, Walter (ed.); Pizzi, Claudio (ed.)
1
2012
Polynomial ring calculus for modal logics: a new semantics and proof method for modalities. Zbl 1233.03027
Agudelo, Juan C.; Carnielli, Walter
5
2011
Paraconsistent machines and their relation to quantum computing. Zbl 1196.03053
Agudelo, Juan C.; Carnielli, Walter
3
2010
Formal polynomials, heuristics and proofs in logic. Zbl 1213.03077
Carnielli, W.
2
2010
New dimensions on translations between logics. Zbl 1255.03029
Carnielli, Walter A.; Coniglio, Marcelo E.; D’Ottaviano, Itala M. L.
8
2009
Interpolation via translations. Zbl 1178.03043
Rasga, João; Carnielli, Walter; Sernadas, Cristina
2
2009
Analysis and synthesis of logics. How to cut and paste reasoning systems. Zbl 1137.03001
Carnielli, Walter; Coniglio, Marcelo; Gabbay, Dov M.; Gouveia, Paula; Sernadas, Cristina
20
2008
Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler. Zbl 1210.03017
Carnielli, Walter; Pizzi, Claudio
15
2008
Preservation of interpolation features by fibring. Zbl 1138.03010
Carnielli, Walter; Rasga, João; Sernadas, Cristina
4
2008
Logics of formal inconsistency. Zbl 1266.03006
Carnielli, Walter; Coniglio, Marcelo E.; Marcos, João
75
2007
Handbook of paraconsistency. Zbl 1206.03030
Béziau, Jean-Yves (ed.); Carnielli, Walter (ed.); Gabbay, Dov (ed.)
8
2007
Possible-translations algebraizability. Zbl 1230.03096
Bueno-Soler, Juliana; Coniglio, Marcelo E.; Carnielli, Walter
2
2007
Two’s company: “The humbug of many logical values”. Zbl 1146.03300
Caleiro, Carlos; Carnielli, Walter; Conigho, Marcelo E.; Marcos, João
1
2007
Surviving abduction. Zbl 1108.03031
Carnielli, Walter
3
2006
Two’s company: “The humbug of many logical values”. Zbl 1076.03006
Caleiro, Carlos; Carnielli, Walter; Coniglio, Marcelo; Marcos, João
20
2005
Anti-intuitionism and paraconsistency. Zbl 1067.03033
Brunner, Andreas B. M.; Carnielli, Walter A.
14
2005
Splitting logics. Zbl 1279.03049
Carnielli, Walter; Coniglio, Marcelo E.
4
2005
Possible-translations algebraization for paraconsistent logics. Zbl 1117.03035
Bueno-Soler, Juliana; Carnielli, Walter
2
2005
Logics for qualitative reasoning. Zbl 1083.03037
Veloso, Paulo A. S.; Carnielli, Walter A.
2
2004
Fibring non-truth-functional logics: Completeness preservation. Zbl 1015.03010
Caleiro, C.; Carnielli, W. A.; Coniglio, M. E.; Sernadas, A.; Sernadas, C.
7
2003
A taxonomy of C-systems. Zbl 1036.03022
Carnielli, Walter A.; Marcos, João
35
2002
A logical framework for integrating inconsistent information in multiple databases. Zbl 1044.68049
de Amo, Sandra; Carnielli, Walter A.; Marcos, João
8
2002
Modulated fibring and the collapsing problem. Zbl 1043.03010
Sernadas, Cristina; Rasga, João; Carnielli, Walter A.
7
2002
Transfers between logics and their applications. Zbl 1016.03039
Coniglio, M. E.; Carnielli, W. A.
4
2002
Paraconsistency. The logical way to the inconsistent. Proceedings of the 2nd world congress on paraconsistency, WCP ’2000, in honor of Newton da Costa on the occasion of his 70th birthday, São Paulo, Brazil, May 12–19, 2000. Zbl 1021.00009
Carnielli, Walter A. (ed.); Coniglio, Marcelo E. (ed.); D’Ottaviano, Itala Maria Loffredo (ed.)
1
2002
Modality and multimodality. Zbl 1015.03001
Carnielli, Walter A.; Pizzi, Claudio
2
2001
Formal inconsistency and evolutionary databases. Zbl 1005.03509
Carnielli, Walter A.; Marcos, João; de Amo, Sandra
26
2000
Possible-translations semantics for paraconsistent logics. Zbl 1002.03525
Carnielli, Walter A.
16
2000
\(K_{2,2}\)-\(K_{1,n}\) and \(K_{2,n}\)-\(K_{2,n}\) bipartite Ramsey numbers. Zbl 0969.05045
Carnielli, W. A.; Monte Carmelo, E. L.
4
2000
The dialogical approach to paraconsistency. Zbl 0970.03030
Rahman, Shahid; Carnielli, Walter A.
3
2000
Limits for paraconsistent calculi. Zbl 1007.03028
Carnielli, Walter A.; Marcos, João
16
1999
Society semantics and multiple-valued logics. Zbl 0942.03034
Carnielli, Walter A.; Lima-Marques, Mamede
12
1999
On the Ramsey problem for multicolor bipartite graphs. Zbl 0916.05052
Carnielli, W. A.; Monte Carmelo, E. L.
3
1999
An alternative view of default reasoning and its logic. Zbl 1041.03025
Sette, A. M.; Carnielli, Walter A.; Veloso, Paulo A. S.
1
1999
Translations between logical systems: A manifesto. Zbl 0982.03006
Carnielli, Walter A.; D’Ottaviano, Itala Maria Loffredo
5
1997
Ultrafilter logic and generic reasoning. Zbl 0884.03024
Carnielli, W. A.; Veloso, P. A. S.
2
1997
Maximal weakly-intuitionistic logics. Zbl 0841.03009
Sette, A. M.; Carnielli, Walter A.
15
1995
Some results on polarized partition relations of higher dimension. Zbl 0805.03035
Carnielli, Walter Alexandre; Di Prisco, Carlos Augusto
5
1993
Reasoning under inconsistent knowledge. Zbl 0807.03015
Carnielli, Walter Alexandre; Lima-Marques, Mamede
2
1992
On sequents and tableaux for many-valued logics. Zbl 0774.03006
Carnielli, Walter A.
10
1991
Contextual negations and reasoning with contradictions. Zbl 0742.68052
Carnielli, Walter Alexandre; Fariñas del Cerro, Luis; Marques, Mameda Lima
3
1991
Hyper-rook domain inequalities. Zbl 0692.05020
Carnielli, Walter A.
6
1990
Computability. Computable functions, logic, and the foundations of mathematics. Zbl 0685.03001
Epstein, Richard L.; Carnielli, Walter A.
7
1989
Systematization of finite many-valued logics through the method of tableaux. Zbl 0633.03008
Carnielli, Walter A.
22
1987
Methods of proof for relatedness and dependence logics. Zbl 0651.03021
Carnielli, Walter A.
1
1987
On covering and coloring problems for rook domains. Zbl 0589.05029
Carnielli, Walter Alexandre
10
1985
Paraconsistent algebras. Zbl 0581.03013
Carnielli, Walter Alexandre; de Alcantara, Luiz Paulo
2
1984
all top 5

Cited by 316 Authors

16 Avron, Arnon
16 Carnielli, Walter Alexandre
12 Arieli, Ofer
11 Monte Carmelo, Emerson L.
11 Zamansky, Anna
10 Marcos, João
9 Caleiro, Carlos
9 Rasga, João
9 Sernadas, Cristina S.
7 Coniglio, Marcelo Esteban
7 Wansing, Heinrich Theodor
6 Kamide, Norihiro
6 Omori, Hitoshi
6 Osorio, Mauricio A.
6 Sernadas, Amilcar C.
5 D’Ottaviano, Itala M. Loffredo
5 Petrukhin, Yaroslav Igorevich
5 Robles, Gemma
5 Woltran, Stefan
4 Carballido, José Luis
4 D’Agostino, Marcello
4 Demey, Lorenz
4 Ferguson, Thomas Macaulay
4 Gonçalves, Ricardo
4 Linsbichler, Thomas
4 Smessaert, Hans
4 Thimm, Matthias
4 Veloso, Paulo Augusto S.
4 Veloso, Sheila R. M.
3 Agudelo-Agudelo, Juan C.
3 Baaz, Matthias
3 Batens, Diderik
3 Béziau, Jean-Yves
3 Bueno-Soler, Juliana
3 Chakraborty, Mihir Kumar
3 Di Prisco, Carlos Augusto
3 Diaconescu, Răzvan
3 Dubois, Didier
3 Estrada-González, Luis
3 Gentilini, Paolo
3 Lahav, Ori
3 Martins, Manuel António
3 Matulovic, Mariana
3 Méndez, José M.
3 Peron, Newton M.
3 Salzer, Gernot
3 Shangin, Vasily
3 Szmuc, Damian Enrique
3 Zepeda, Claudia
2 Akama, Seiki
2 Arrazola Ramírez, José Ramón Enrique
2 Baltazar, Pedro
2 Barrio, Eduardo Alejandro
2 Başkent, Can
2 Baumann, Ringo
2 Beirlaen, Mathieu
2 Benevides, Mario R. F.
2 Borja Macías, Verónica
2 Brewka, Gerhard
2 Bruynooghe, Maurice
2 Castellanos, José Abel
2 Ciucci, Davide
2 de Araujo Feitosa, Hércules
2 De, Michael
2 Degauquier, Vincent
2 Denecker, Marc
2 Dunne, Paul E.
2 Dutta, Soma
2 Dvořák, Wolfgang
2 Feitosa, Hércules de A.
2 Fermüller, Christian G.
2 Fernández, Víctor L.
2 Forcheri, Paola
2 Gabbay, Dov M.
2 Gaggl, Sarah Alice
2 Grant, John R.
2 Kerber, Manfred
2 Kohlhase, Michael
2 Konikowska, Beata
2 Ledda, Antonio
2 Leszczyńska-Jasion, Dorota
2 Lewin, Renato A.
2 Madeira, Alexandre
2 Marcelino, Sérgio
2 Martinhão, Anderson N.
2 Mikenberg, Irene F.
2 Modgil, Sanjay
2 Nieves, Juan Carlos
2 Pailos, Federico Matias
2 Paoli, Francesco
2 Prade, Henri M.
2 Ripley, David
2 Rodrigues, Abilio
2 Santos, Otávio J. N. T. N. dos
2 Shramko, Yaroslav V.
2 Soare, Robert I.
2 Strass, Hannes
2 Strasser, Christian
2 Szałas, Andrzej
2 Ulbricht, Markus
...and 216 more Authors
all top 5

Cited in 51 Serials

34 Logica Universalis
31 Studia Logica
27 Journal of Applied Non-Classical Logics
15 Journal of Applied Logic
10 Artificial Intelligence
10 International Journal of Approximate Reasoning
9 Annals of Mathematics and Artificial Intelligence
8 Journal of Philosophical Logic
7 Theoretical Computer Science
6 Notre Dame Journal of Formal Logic
6 The Review of Symbolic Logic
5 Journal of Logic, Language and Information
5 Soft Computing
5 Logic and Logical Philosophy
4 Discrete Mathematics
4 Information Sciences
4 Synthese
4 Mathematical Logic Quarterly (MLQ)
3 Journal of Combinatorial Theory. Series A
3 The Journal of Symbolic Logic
3 Bulletin of the Section of Logic
3 Theory and Practice of Logic Programming
2 The Mathematical Intelligencer
2 Annals of Pure and Applied Logic
2 Information and Computation
2 Journal of Automated Reasoning
2 Linear Algebra and its Applications
2 The Bulletin of Symbolic Logic
2 Topoi
2 ACM Transactions on Computational Logic
1 Discrete Applied Mathematics
1 Israel Journal of Mathematics
1 Moscow University Mathematics Bulletin
1 Mathematics of Computation
1 Fuzzy Sets and Systems
1 Metroeconomica
1 Studies in Applied Mathematics
1 European Journal of Combinatorics
1 Advances in Applied Mathematics
1 Applied Mathematics Letters
1 Science in China. Series A
1 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 Applied Categorical Structures
1 Combinatorics, Probability and Computing
1 Computational and Applied Mathematics
1 Erkenntnis
1 Advances in Mathematics of Communications
1 São Paulo Journal of Mathematical Sciences
1 Symmetry
1 European Journal of Mathematics

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.