ติดตาม
Walter Carnielli
Walter Carnielli
Professor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History of
ยืนยันอีเมลแล้วที่ cle.unicamp.br
ชื่อ
อ้างโดย
อ้างโดย
ปี
Logics of formal inconsistency
W Carnielli, ME Coniglio, J Marcos
Handbook of philosophical logic, 1-93, 2007
5722007
A taxonomy of C-systems
WA Carnielli, J Marcos
Paraconsistency, 1-94, 2002
3752002
Paraconsistent logic: Consistency, contradiction and negation
WA Carnielli, ME Coniglio
Springer, 2016
2632016
Semi-stable semantics
MWA Caminada, WA Carnielli, PE Dunne
Journal of Logic and Computation 22 (5), 1207-1254, 2012
2392012
Systematization of finite many-valued logics through the method of tableaux
WA Carnielli
The Journal of Symbolic Logic 52 (2), 473-493, 1987
2281987
Formal inconsistency and evolutionary databases
W Carnielli, J Marcos, S De Amo
Logic and logical philosophy, 115-152, 2000
1822000
Modalities and multimodalities
WA Carnielli, C Pizzi, J Bueno-Soler
Springer, 2008
1602008
Computability computable functions, logic, and the foundations of mathematics
RL Epstein, WA Carnielli
Wadsworth Publ. Co., 2000
160*2000
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
1342008
Handbook of paraconsistency
DM Gabbay, JY Beziau, W Carnielli
College publications, 2007
1192007
On paraconsistent deontic logic
NCA Costa, WA Carnielli
Philosophia 16 (3-4), 1986
1131986
Possible-translations semantics for paraconsistent logics
WA Carnielli
Frontiers of Paraconsistent Logic (Ghent, 1997) 8, 149-163, 2000
1072000
Society semantics for multiple-valued logics
WA Carnielli, M Lima-Marques
Advances in Contemporary Logic and Computer Science 235, 33-52, 1999
991999
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
982005
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
961998
Maximal weakly-intuitionistic logics
AM Sette, WA Carnielli
Studia Logica 55, 181-203, 1995
951995
On sequents and tableaux for many-valued logics
WA Carnielli
Journal of Non-Classical Logic 8 (1), 59-76, 1991
941991
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
902002
An epistemic approach to paraconsistency: a logic of evidence and truth
W Carnielli, A Rodrigues
Synthese 196 (9), 3789-3813, 2019
892019
Combining logics
W Carnielli, ME Coniglio
862007
ระบบไม่สามารถดำเนินการได้ในขณะนี้ โปรดลองใหม่อีกครั้งในภายหลัง
บทความ 1–20