Seguir
Walter Carnielli
Walter Carnielli
Professor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History of
Email confirmado em cle.unicamp.br
Título
Citado por
Citado por
Ano
Logics of formal inconsistency
W Carnielli, ME Coniglio, J Marcos
Handbook of philosophical logic, 1-93, 2007
4822007
A taxonomy of C-systems
WA Carnielli, J Marcos
Paraconsistency, 24-117, 2002
3292002
Systematization of finite many-valued logics through the method of tableaux
WA Carnielli
The Journal of Symbolic Logic 52 (2), 473-493, 1987
2041987
Semi-stable semantics
MWA Caminada, WA Carnielli, PE Dunne
Journal of Logic and Computation 22 (5), 1207-1254, 2012
1992012
Paraconsistent logic: Consistency, contradiction and negation
WA Carnielli, ME Coniglio
Springer, 2016
1912016
Computability computable functions, logic, and the foundations of mathematics
RL Epstein, WA Carnielli
Wadsworth Publ. Co., 2000
155*2000
Formal inconsistency and evolutionary databases
W Carnielli, J Marcos, S De Amo
Logic and logical philosophy, 115-152, 2000
1502000
Modalities and multimodalities
W Carnielli, C Pizzi
Springer Science & Business Media, 2008
1202008
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
1162008
Handbook of paraconsistency
JY Béziau, WA Carnielli, DM Gabbay
College publications, 2007
1082007
Possible-translations semantics for paraconsistent logics
WA Carnielli
Frontiers of Paraconsistent Logic (Ghent, 1997) 8, 149-163, 2000
1042000
On paraconsistent deontic logic
NCA Da Costa, WA Carnielli
Philosophia 16 (3), 293-305, 1986
991986
Society semantics and multiple-valued logics
WA Carnielli, M Lima-Marques
Advances in Contemporary Logic and Computer Science 235, 33-52, 1999
921999
Two's company:“The humbug of many logical values”
C Caleiro, W Carnielli, M Coniglio, J Marcos
Logica universalis, 169-189, 2005
892005
Maximal weakly-intuitionistic logics
AM Sette, WA Carnielli
Studia Logica 55 (1), 181-203, 1995
891995
On sequents and tableaux for many-valued logics
WA Carnielli
Journal of Non-Classical Logic 8 (1), 59-76, 1991
891991
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
861998
A logical framework for integrating inconsistent information in multiple databases
S Amo, WA Carnielli, J Marcos
International Symposium on Foundations of Information and Knowledge Systems …, 2002
792002
Paraconsistency: The logical way to the inconsistent
WA Carnielli, M Coniglio, IML D'ottaviano
CRC Press, 2002
752002
Modulated fibring and the collapsing problem
C Sernadas, J Rasga, WA Carnielli
The Journal of Symbolic Logic 67 (4), 1541-1569, 2002
732002
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20