Walter Carnielli
Walter Carnielli
Professor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History of
Verifierad e-postadress på cle.unicamp.br
Titel
Citeras av
Citeras av
År
Semi-stable semantics
M Caminada
COMMA 144, 121-130, 2006
447*2006
Logics of formal inconsistency
W Carnielli, ME Coniglio, J Marcos
Handbook of philosophical logic, 1-93, 2007
4312007
The semantic foundations of logic
RL Epstein
The Semantic Foundations of Logic Volume 1: Propositional Logics, 315-321, 1990
301*1990
A taxonomy of C-systems
WA Carnielli, J Marcos
Mathematics Preprint Archive 2001 (8), 31-124, 2001
2882001
Systematization of finite many-valued logics through the method of tableaux
WA Carnielli
The Journal of Symbolic Logic 52 (2), 473-493, 1987
1941987
Formal inconsistency and evolutionary databases
W Carnielli, J Marcos, S De Amo
Logic and logical philosophy 8 (8), 115-152, 2000
1502000
Computability Computable Functions, Logic, and the Foundations of Mathematics
RL Epstein, WA Carnielli
147*1989
Paraconsistent logic: Consistency, contradiction and negation
W Carnielli, ME Coniglio
Springer International Publishing, 2016
1312016
Modalities and multimodalities
W Carnielli, C Pizzi
Springer Science & Business Media, 2008
1162008
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
1112008
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-4), 293-305, 1986
961986
Handbook of paraconsistency
JY Béziau, WA Carnielli, DM Gabbay
College publications, 2007
922007
Society semantics and multiple-valued logics
WA Carnielli, M Lima-Marques
Advances in Contemporary Logic and Computer Science 235, 33-52, 1999
911999
On sequents and tableaux for many-valued logics
WA Carnielli
Journal of Non-Classical Logic 8 (1), 59-76, 1991
841991
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
831998
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
822002
Two's company:“The humbug of many logical values”
C Caleiro, W Carnielli, M Coniglio, J Marcos
Logica universalis, 169-189, 2005
732005
Paraconsistency: The logical way to the inconsistent
WA Carnielli, M Coniglio, IML D'ottaviano
CRC Press, 2002
732002
Maximal weakly-intuitionistic logics
AM Sette, WA Carnielli
Studia Logica 55 (1), 181-203, 1995
731995
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20