Walter Carnielli

Walter Alexandre Carnielli (born 11 January 1952 in Campinas, Brazil) is a Brazilian mathematician, logician, and philosopher, full professor of Logic at the State University of Campinas (UNICAMP). With a Bachelor and a Ms.C. degree in mathematics at the State University of Campinas in Campinas he obtained his Ph.D. in 1984 in the same university under the supervision of Newton da Costa and subsequently stayed as a PostDoc at the University of California at Berkeley as a Research Fellow, following an invitation by Leon Henkin.

Carnielli contributed to the proof theory and semantics of many-valued logics and paraconsistent logics. His tableau method for many-valued logics generalized all previous treatments of the subject [W. A. Carnielli. Systematization of the finite many-valued logics through the method of tableaux. The Journal of Symbolic Logic 52 (2), 1987, pp. 73–493]. His proposal of the possible-translations semantics (a new semantical interpretation for paraconsistent logics) contributed to a revival in the philosophial interpretation of paraconsistent logics [[W. A. Carnielli. Possible-translations semantics for paraconsistent logics. In: Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998, pp. 159–72 , edited by D. Batens et al., Kings College Publications, 2000]], [W. A. Carnielli (with M. E. Coniglio and J. Marcos). Logics of Formal Inconsistency. In: Handbook of Philosophical Logic, vol. 14, pp. 15–107. Eds.: D. Gabbay; F. Guenthner. Springer, 2007].

The logics of formal inconsistency which systematize a large class of paraconsistent logics opened the way to the application of paraconsistency to computer science and to new philosophical investigations on paraconsistency.

...
Wikipedia