Follow
Walter Carnielli
Walter Carnielli
Professor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History of
Verified email at cle.unicamp.br
Title
Cited by
Cited by
Year
Logics of formal inconsistency
W Carnielli, ME Coniglio, J Marcos
Handbook of philosophical logic, 1-93, 2007
5402007
A taxonomy of C-systems
WA Carnielli, J Marcos
Paraconsistency, 1-94, 2002
3562002
Paraconsistent logic: Consistency, contradiction and negation
WA Carnielli, ME Coniglio
Springer, 2016
2282016
Systematization of finite many-valued logics through the method of tableaux
WA Carnielli
The Journal of Symbolic Logic 52 (2), 473-493, 1987
2201987
Semi-stable semantics
MWA Caminada, WA Carnielli, PE Dunne
Journal of Logic and Computation 22 (5), 1207-1254, 2012
2192012
Formal inconsistency and evolutionary databases
W Carnielli, J Marcos, S De Amo
Logic and logical philosophy, 115-152, 2000
1722000
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
1492008
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
1252008
Handbook of paraconsistency
JY Béziau, WA Carnielli, DM Gabbay
College publications, 2007
1142007
Possible-translations semantics for paraconsistent logics
WA Carnielli
Frontiers of Paraconsistent Logic (Ghent, 1997) 8, 149-163, 2000
1072000
On paraconsistent deontic logic
NCA Da Costa, WA Carnielli
Philosophia 16, 293-305, 1986
1071986
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
1012005
Society semantics for multiple-valued logics
WA Carnielli, M Lima-Marques
Advances in Contemporary Logic and Computer Science 235, 33-52, 1999
941999
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
941998
Maximal weakly-intuitionistic logics
AM Sette, WA Carnielli
Studia Logica 55, 181-203, 1995
931995
On sequents and tableaux for many-valued logics
WA Carnielli
Journal of Non-Classical Logic 8 (1), 59-76, 1991
931991
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
832002
Combining logics
W Carnielli, ME Coniglio
812007
Modulated fibring and the collapsing problem
C Sernadas, J Rasga, WA Carnielli
The Journal of Symbolic Logic 67 (4), 1541-1569, 2002
782002
The system can't perform the operation now. Try again later.
Articles 1–20