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
4652007
A taxonomy of C-systems
WA Carnielli, J Marcos
Paraconsistency, 24-117, 2002
3142002
Systematization of finite many-valued logics through the method of tableaux
WA Carnielli
The Journal of Symbolic Logic 52 (2), 473-493, 1987
1981987
Semi-stable semantics
MWA Caminada, WA Carnielli, PE Dunne
Journal of Logic and Computation 22 (5), 1207-1254, 2012
1922012
Paraconsistent logic: Consistency, contradiction and negation
WA Carnielli, ME Coniglio
Springer, 2016
1752016
Formal inconsistency and evolutionary databases
W Carnielli, J Marcos, S De Amo
Logic and logical philosophy 8 (8), 115-152, 2000
1552000
Computability computable functions, logic, and the foundations of mathematics
RL Epstein, WA Carnielli
Wadsworth Publ. Co., 2000
153*2000
Modalities and multimodalities
W Carnielli, C Pizzi
Springer Science & Business Media, 2008
1242008
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
1202008
Possible-translations semantics for paraconsistent logics
WA Carnielli
Frontiers of Paraconsistent Logic (Ghent, 1997) 8, 149-163, 2000
1052000
Handbook of paraconsistency
JY Béziau, WA Carnielli, DM Gabbay
College publications, 2007
1042007
On paraconsistent deontic logic
NCA Da Costa, WA Carnielli
Philosophia 16 (3), 293-305, 1986
1001986
Society semantics and multiple-valued logics
WA Carnielli, M Lima-Marques
Advances in Contemporary Logic and Computer Science 235, 33-52, 1999
941999
On sequents and tableaux for many-valued logics
WA Carnielli
Journal of Non-Classical Logic 8 (1), 59-76, 1991
901991
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
851998
Maximal weakly-intuitionistic logics
AM Sette, WA Carnielli
Studia Logica 55 (1), 181-203, 1995
841995
A logical framework for integrating inconsistent information in multiple databases
S de Amo, WA Carnielli, J Marcos
International Symposium on Foundations of Information and Knowledge Systems …, 2002
832002
Two's company:“The humbug of many logical values”
C Caleiro, W Carnielli, M Coniglio, J Marcos
Logica universalis, 169-189, 2005
782005
Modulated fibring and the collapsing problem
C Sernadas, J Rasga, WA Carnielli
The Journal of Symbolic Logic 67 (4), 1541-1569, 2002
732002
Paraconsistency: The logical way to the inconsistent
WA Carnielli, M Coniglio, IML D'ottaviano
CRC Press, 2002
722002
The system can't perform the operation now. Try again later.
Articles 1–20