Walter Carnielli

Cited by

	All	Since 2019
Citations	6057	1839
h-index	40	21
i10-index	91	45

380

190

285

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 28 21 22 22 26 60 39 78 79 103 130 244 121 272 282 238 183 233 175 197 280 292 296 286 270 278 373 317 315 247 304

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 FilhoUFMGVerified 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 of Logic and Computation, D. Mathematics, 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	569	2007
A taxonomy of C-systems WA Carnielli, J Marcos Paraconsistency, 1-94, 2002	373	2002
Paraconsistent logic: Consistency, contradiction and negation WA Carnielli, ME Coniglio Springer, 2016	257	2016
Semi-stable semantics MWA Caminada, WA Carnielli, PE Dunne Journal of Logic and Computation 22 (5), 1207-1254, 2012	236	2012
Systematization of finite many-valued logics through the method of tableaux WA Carnielli The Journal of Symbolic Logic 52 (2), 473-493, 1987	228	1987
Formal inconsistency and evolutionary databases W Carnielli, J Marcos, S De Amo Logic and logical philosophy, 115-152, 2000	180	2000
Computability computable functions, logic, and the foundations of mathematics RL Epstein, WA Carnielli Wadsworth Publ. Co., 2000	160*	2000
Modalities and multimodalities WA Carnielli, C Pizzi, J Bueno-Soler Springer, 2008	159	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	133	2008
Handbook of paraconsistency DM Gabbay, JY Beziau, W Carnielli College publications, 2007	119	2007
On paraconsistent deontic logic NCA Costa, WA Carnielli Philosophia 16 (3-4), 1986	113	1986
Possible-translations semantics for paraconsistent logics WA Carnielli Frontiers of Paraconsistent Logic (Ghent, 1997) 8, 149-163, 2000	107	2000
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	98	2005
Society semantics for multiple-valued logics WA Carnielli, M Lima-Marques Advances in Contemporary Logic and Computer Science 235, 33-52, 1999	98	1999
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	97	1998
Maximal weakly-intuitionistic logics AM Sette, WA Carnielli Studia Logica 55, 181-203, 1995	95	1995
On sequents and tableaux for many-valued logics WA Carnielli Journal of Non-Classical Logic 8 (1), 59-76, 1991	94	1991
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	86	2019
Combining logics W Carnielli, ME Coniglio	86	2007

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