×

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, Walter; Carnielli, Walter A.; Carnielli, Walter Alexandre; Carnielli, W. A.; Carnielli, W.
External Links: MGP · Wikidata · dblp · IdRef
Documents Indexed: 100 Publications since 1981, including 14 Books
Reviewing Activity: 1 Review
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH Open

59 Publications have been cited 491 times in 307 Documents Cited by Year
Logics of formal inconsistency. 2nd ed. Zbl 1266.03006
Carnielli, Walter; Coniglio, Marcelo E.; Marcos, João
76
2007
A taxonomy of C-systems. Zbl 1036.03022
Carnielli, Walter A.; Marcos, João
37
2002
Formal inconsistency and evolutionary databases. Zbl 1005.03509
Carnielli, Walter A.; Marcos, João; de Amo, Sandra
28
2000
Systematization of finite many-valued logics through the method of tableaux. Zbl 0633.03008
Carnielli, Walter A.
22
1987
Semi-stable semantics. Zbl 1267.68223
Caminada, Martin W. A.; Carnielli, Walter A.; Dunne, Paul E.
22
2012
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
21
2008
Two’s company: “The humbug of many logical values”. Zbl 1076.03006
Caleiro, Carlos; Carnielli, Walter; Coniglio, Marcelo; Marcos, João
20
2005
Limits for paraconsistent calculi. Zbl 1007.03028
Carnielli, Walter A.; Marcos, João
17
1999
Paraconsistent logic: consistency, contradiction and negation. Zbl 1355.03001
Carnielli, Walter; Coniglio, Marcelo Esteban
17
2016
Maximal weakly-intuitionistic logics. Zbl 0841.03009
Sette, A. M.; Carnielli, Walter A.
16
1995
Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler. Zbl 1210.03017
Carnielli, Walter; Pizzi, Claudio
15
2008
Anti-intuitionism and paraconsistency. Zbl 1067.03033
Brunner, Andreas B. M.; Carnielli, Walter A.
14
2005
Possible-translations semantics for paraconsistent logics. Zbl 1002.03525
Carnielli, Walter A.
14
2000
Society semantics and multiple-valued logics. Zbl 0942.03034
Carnielli, Walter A.; Lima-Marques, Mamede
12
1999
On covering and coloring problems for rook domains. Zbl 0589.05029
Carnielli, Walter Alexandre
10
1985
On sequents and tableaux for many-valued logics. Zbl 0774.03006
Carnielli, Walter A.
10
1991
A logical framework for integrating inconsistent information in multiple databases. Zbl 1044.68049
de Amo, Sandra; Carnielli, Walter A.; Marcos, João
8
2002
New dimensions on translations between logics. Zbl 1255.03029
Carnielli, Walter A.; Coniglio, Marcelo E.; D’Ottaviano, Itala M. L.
8
2009
Modulated fibring and the collapsing problem. Zbl 1043.03010
Sernadas, Cristina; Rasga, João; Carnielli, Walter A.
8
2002
Handbook of paraconsistency. Zbl 1206.03030
Béziau, Jean-Yves (ed.); Carnielli, Walter (ed.); Gabbay, Dov (ed.)
7
2007
Fibring non-truth-functional logics: Completeness preservation. Zbl 1015.03010
Caleiro, C.; Carnielli, W. A.; Coniglio, M. E.; Sernadas, A.; Sernadas, C.
7
2003
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
Some results on polarized partition relations of higher dimension. Zbl 0805.03035
Carnielli, Walter Alexandre; Di Prisco, Carlos Augusto
5
1993
\(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.
5
2000
Translations between logical systems: A manifesto. Zbl 0982.03006
Carnielli, Walter A.; D’Ottaviano, Itala Maria Loffredo
5
1997
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
Preservation of interpolation features by fibring. Zbl 1138.03010
Carnielli, Walter; Rasga, João; Sernadas, Cristina
4
2008
Surviving abduction. Zbl 1108.03031
Carnielli, Walter
3
2006
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
3
2014
Paraconsistent machines and their relation to quantum computing. Zbl 1196.03053
Agudelo, Juan C.; Carnielli, Walter
3
2010
On the Ramsey problem for multicolor bipartite graphs. Zbl 0916.05052
Carnielli, W. A.; Monte Carmelo, E. L.
3
1999
The dialogical approach to paraconsistency. Zbl 0970.03030
Rahman, Shahid; Carnielli, Walter A.
3
2000
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
3
2017
The method of polynomial ring calculus and its potentialities. Zbl 1338.03012
Carnielli, Walter; Matulovic, Mariana
3
2015
Interpolation via translations. Zbl 1178.03043
Rasga, João; Carnielli, Walter; Sernadas, Cristina
2
2009
Formal polynomials, heuristics and proofs in logic. Zbl 1213.03077
Carnielli, W.
2
2010
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
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
Logics for qualitative reasoning. Zbl 1083.03037
Veloso, Paulo A. S.; Carnielli, Walter A.
2
2004
Possible-translations algebraization for paraconsistent logics. Zbl 1117.03035
Bueno-Soler, Juliana; Carnielli, Walter
2
2005
Paraconsistent algebras. Zbl 0581.03013
Carnielli, Walter Alexandre; de Alcantara, Luiz Paulo
2
1984
Modality and multimodality. (Modalità e multimodalità.) Zbl 1015.03001
Carnielli, Walter A.; Pizzi, Claudio
2
2001
Possible-translations algebraizability. Zbl 1230.03096
Bueno-Soler, Juliana; Coniglio, Marcelo E.; Carnielli, Walter
2
2007
Paraconsistency and duality: between ontological and epistemological views. Zbl 1410.03019
Carnielli, Walter; Rodrigues, Abilio
2
2016
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
Methods of proof for relatedness and dependence logics. Zbl 0651.03021
Carnielli, Walter A.
1
1987
An alternative view of default reasoning and its logic. Zbl 1041.03025
Sette, A. M.; Carnielli, Walter A.; Veloso, Paulo A. S.
1
1999
Two’s company: “The humbug of many logical values”. 2nd revised ed. Zbl 1146.03300
Caleiro, Carlos; Carnielli, Walter; Conigho, Marcelo E.; Marcos, João
1
2007
Cut-elimination and deductive polarization in complementary classical logic. Zbl 1405.03088
Carnielli, Walter A.; Pulcini, Gabriele
1
2017
Contradictions, inconsistencies and other oxymora. Zbl 1410.03002
Carnielli, Walter; Rodrigues, Abilio
1
2015
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
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
Polynomial ring calculus for modalities. Zbl 1444.03038
Agudelo-Agudelo, Juan C.; Carnielli, Walter
3
2017
Cut-elimination and deductive polarization in complementary classical logic. Zbl 1405.03088
Carnielli, Walter A.; Pulcini, Gabriele
1
2017
Paraconsistent logic: consistency, contradiction and negation. Zbl 1355.03001
Carnielli, Walter; Coniglio, Marcelo Esteban
17
2016
Paraconsistent set theory by predicating on consistency. Zbl 1444.03148
Carnielli, Walter; Coniglio, Marcelo E.
2
2016
Paraconsistency and duality: between ontological and epistemological views. Zbl 1410.03019
Carnielli, Walter; Rodrigues, Abilio
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
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
3
2014
Non-deterministic semantics in polynomial format. Zbl 1335.03012
Carnielli, Walter; Matulovic, Mariana
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
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; Carnielli, Walter; Pizzi, Claudio
1
2012
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning. Zbl 1246.03087
De Araújo, Anderson; Carnielli, Walter
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
21
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. 2nd ed. Zbl 1266.03006
Carnielli, Walter; Coniglio, Marcelo E.; Marcos, João
76
2007
Handbook of paraconsistency. Zbl 1206.03030
Béziau, Jean-Yves; Carnielli, Walter; Gabbay, Dov
7
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”. 2nd revised ed. 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
37
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.
8
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.; Coniglio, Marcelo E.; D’Ottaviano, Itala Maria Loffredo
1
2002
Modality and multimodality. (Modalità e multimodalità.) 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
28
2000
Possible-translations semantics for paraconsistent logics. Zbl 1002.03525
Carnielli, Walter A.
14
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.
5
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
17
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.
16
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 311 Authors

17 Carnielli, Walter Alexandre
16 Avron, Arnon
13 Arieli, Ofer
11 Monte Carmelo, Emerson L.
11 Zamansky, Anna
10 Marcos, João
10 Rasga, João
10 Sernadas, Cristina S.
9 Caleiro, Carlos
8 Coniglio, Marcelo Esteban
7 Osorio, Mauricio A.
7 Petrukhin, Yaroslav Igorevich
7 Wansing, Heinrich Theodor
6 Kamide, Norihiro
6 Omori, Hitoshi
5 D’Ottaviano, Itala M. Loffredo
5 Robles, Gemma
5 Woltran, Stefan
4 Carballido, José Luis
4 D’Agostino, Marcello
4 de Araujo Feitosa, Hércules
4 Demey, Lorenz
4 Ferguson, Thomas Macaulay
4 Gonçalves, Ricardo
4 Linsbichler, Thomas
4 Shangin, Vasily
4 Smessaert, Hans
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 Borja Macías, Verónica
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 Pérez-Gaspar, Miguel
3 Peron, Newton M.
3 Salzer, Gernot
3 Strasser, Christian
3 Szmuc, Damian Enrique
3 Thimm, Matthias
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 Brewka, Gerhard
2 Bruynooghe, Maurice
2 Castellanos, José Abel
2 Ciucci, Davide
2 De, Michael
2 Degauquier, Vincent
2 Denecker, Marc
2 Dunne, Paul E.
2 Dutta, Soma
2 Dvořák, Wolfgang
2 Fermüller, Christian G.
2 Fernández, Víctor L.
2 Figallo Orellano, Aldo
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 Pailos, Federico Matias
2 Paoli, Francesco
2 Prade, Henri M.
2 Ripley, David
2 Rodrigues, Abilio
2 Shramko, Yaroslav V.
2 Soare, Robert I.
2 Strass, Hannes
2 Szałas, Andrzej
2 Tomova, Natal’ya Evgen’evna
2 Ulbricht, Markus
2 Viganò, Luca
2 Wallner, Johannes Peter
...and 211 more Authors
all top 5

Cited in 52 Serials

35 Logica Universalis
32 Studia Logica
29 Journal of Applied Non-Classical Logics
15 Journal of Applied Logic
10 Artificial Intelligence
9 Annals of Mathematics and Artificial Intelligence
8 Journal of Philosophical Logic
8 International Journal of Approximate Reasoning
8 The Review of Symbolic Logic
7 Theoretical Computer Science
6 Notre Dame Journal of Formal 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 Bulletin of the Section of Logic
4 Mathematical Logic Quarterly (MLQ)
3 Journal of Combinatorial Theory. Series A
3 The Journal of Symbolic Logic
3 The Bulletin of Symbolic 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 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 Electronic Journal of Graph Theory and Applications
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.