Walter Carnielli

Cited by

	All	Since 2019
Citations	5924	1725
h-index	40	20
i10-index	91	39

380

190

285

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202417 26 21 22 22 26 60 39 78 79 103 130 244 121 272 282 238 183 233 175 196 280 293 296 283 260 275 373 314 310 257 191

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
Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, PortugalVerified email at tecnico.ulisboa.pt
Abilio Rodrigues FilhoUFMGVerified email at ufmg.br
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
João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U LisboaVerified email at tecnico.ulisboa.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
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	557	2007
A taxonomy of C-systems WA Carnielli, J Marcos Paraconsistency, 1-94, 2002	368	2002
Paraconsistent logic: Consistency, contradiction and negation WA Carnielli, ME Coniglio Springer, 2016	245	2016
Semi-stable semantics MWA Caminada, WA Carnielli, PE Dunne Journal of Logic and Computation 22 (5), 1207-1254, 2012	229	2012
Systematization of finite many-valued logics through the method of tableaux WA Carnielli The Journal of Symbolic Logic 52 (2), 473-493, 1987	224	1987
Formal inconsistency and evolutionary databases W Carnielli, J Marcos, S De Amo Logic and logical philosophy, 115-152, 2000	177	2000
Computability computable functions, logic, and the foundations of mathematics RL Epstein, WA Carnielli Wadsworth Publ. Co., 2000	159*	2000
Modalities and multimodalities WA Carnielli, C Pizzi, J Bueno-Soler Springer, 2008	154	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	131	2008
Handbook of paraconsistency DM Gabbay, JY Beziau, W Carnielli College publications, 2007	117	2007
On paraconsistent deontic logic NCA Da Costa, WA Carnielli Philosophia 16, 293-305, 1986	111	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	96	2005
Society semantics for multiple-valued logics WA Carnielli, M Lima-Marques Advances in Contemporary Logic and Computer Science 235, 33-52, 1999	96	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	94	1998
On sequents and tableaux for many-valued logics WA Carnielli Journal of Non-Classical Logic 8 (1), 59-76, 1991	94	1991
Maximal weakly-intuitionistic logics AM Sette, WA Carnielli Studia Logica 55, 181-203, 1995	92	1995
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	87	2002
Combining logics W Carnielli, ME Coniglio	84	2007
An epistemic approach to paraconsistency: a logic of evidence and truth W Carnielli, A Rodrigues Synthese 196 (9), 3789-3813, 2019	82	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