Walter Carnielli

Cited by

	All	Since 2020
Citations	6141	1628
h-index	41	20
i10-index	93	43

380

190

285

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202528 21 21 22 26 58 41 78 80 109 131 248 121 273 284 232 181 230 182 195 284 295 311 289 268 277 371 319 313 240 333 48

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Marcelo Esteban ConiglioProfessor of Logic, University of CampinasVerified email at unicamp.br
Joao MarcosFederal University of Santa Catarina (UFSC), BrazilVerified email at ufsc.br
Abilio Rodrigues FilhoUniversidade Federal de Minas GeraisVerified email at ufmg.br
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Itala Maria Loffredo D'OttavianoUniversidade Estadual de CampinasVerified email at cle.unicamp.br
Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. LisboaVerified email at math.ist.utl.pt
Mamede Lima-MarquesProfessor of Information Science, University of BrasiliaVerified email at unb.br
Rangaraj M. RangayyanProfessor Emeritus of Electrical and Computer Engineering, University of CalgaryVerified email at ucalgary.ca
João RasgaAssociate Professor with Habilitation, Instituto Superior Técnico, U LisboaVerified email at tecnico.ulisboa.pt
Sandra de AmoAssociate Professor Computer Science, Universidade Federal de UberlândiaVerified email at ufu.br
Newton C. A. da CostaProfessor of Philosophy, Federal University of Santa CatarinaVerified email at usp.br
Lorenzo MagnaniUniversity of Pavia, Department of Humanities, Philosophy SectionVerified email at unipv.it
Mariana MatulovicProfessor of Automation and Logic in São Paulo State University (UNESP),Campus TupaVerified email at unesp.br
Jean-Yves BeziauProfessor of University of Brazil and Researcher CNPqVerified email at ufc.br
Martin CaminadaCardiff UniversityVerified email at cardiff.ac.uk
Paul E. DunneUniversity of Liverpool, Department of Computer Science, Agents GroupVerified email at csc.liv.ac.uk
Carlos A. Di PriscoInstituto Venezolano de Investigaciones CientíficasVerified email at ivic.gob.ve
Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Jairo da SilvaUnesp, UnicampVerified email at pq.cnpq.br

Walter Carnielli

Professor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History of

Verified email at cle.unicamp.br

Semantics and proof theory of contemporary logics foundations of set theory foundations of computability logic and reason


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Logics of formal inconsistency W Carnielli, ME Coniglio, J Marcos Handbook of philosophical logic, 1-93, 2007	572	2007
A taxonomy of C-systems WA Carnielli, J Marcos Paraconsistency, 1-94, 2002	377	2002
Paraconsistent logic: Consistency, contradiction and negation WA Carnielli, ME Coniglio Springer International Publishing, 2016	265	2016
Semi-stable semantics MWA Caminada, WA Carnielli, PE Dunne Journal of Logic and Computation 22 (5), 1207-1254, 2012	239	2012
Systematization of finite many-valued logics through the method of tableaux WA Carnielli The Journal of Symbolic Logic 52 (2), 473-493, 1987	227	1987
Formal inconsistency and evolutionary databases W Carnielli, J Marcos, S De Amo Logic and logical philosophy, 115-152, 2000	184	2000
Computability computable functions, logic, and the foundations of mathematics RL Epstein, WA Carnielli Wadsworth Publ. Co., 2000	158*	2000
Modalities and multimodalities WA Carnielli, C Pizzi, J Bueno-Soler Springer, 2008	152	2008
Analysis and Synthesis of Logics: how to cut and paste reasoning systems W Carnielli, M Coniglio, DM Gabbay, P Gouveia, C Sernadas Springer Science & Business Media, 2008	134	2008
Handbook of paraconsistency DM Gabbay, JY Beziau, W Carnielli College publications, 2007	120	2007
On paraconsistent deontic logic NCA Costa, WA Carnielli Philosophia 16 (3-4), 1986	115	1986
Possible-translations semantics for paraconsistent logics WA Carnielli Frontiers of Paraconsistent Logic (Ghent, 1997) 8, 149-163, 2000	110	2000
Society semantics and multiple-valued logics WA Carnielli, M Lima-Marques Advances in Contemporary Logic and Computer Science, 33-52, 1999	101	1999
Two's company:“The humbug of many logical values” C Caleiro, W Carnielli, M Coniglio, J Marcos Logica universalis: Towards a general theory of logic, 169-189, 2005	97	2005
Segmentation of breast tumors in mammograms by fuzzy region growing D Guliato, RM Rangayyan, WA Carnielli, JA Zuffo, JEL Desautels Proceedings of the 20th Annual International Conference of the IEEE …, 1998	94	1998
Maximal weakly-intuitionistic logics AM Sette, WA Carnielli Studia Logica 55, 181-203, 1995	93	1995
On sequents and tableaux for many-valued logics WA Carnielli Journal of Non-Classical Logic 8 (1), 59-76, 1991	92	1991
Combining logics W Carnielli, ME Coniglio	89	2007
A logical framework for integrating inconsistent information in multiple databases S de Amo, WA Carnielli, J Marcos Foundations of Information and Knowledge Systems: Second International …, 2002	89	2002
An epistemic approach to paraconsistency: a logic of evidence and truth W Carnielli, A Rodrigues Synthese 196 (9), 3789-3813, 2019	88	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors