Walter Carnielli

Walter Alexandre Carnielli (born 11 January 1952 in Campinas, Brazil) is a Brazilian mathematician, logician, and philosopher, who works as a full professor of Logic at the State University of Campinas.

degrees in mathematics at the State University of Campinas, he also obtained his Ph.D. in 1984 there under the supervision of Newton da Costa; subsequently, he worked as a post-doc at the University of California at Berkeley, following an invitation by Leon Henkin.

His tableau method for many-valued logics generalized all previous treatments of the subject.

He also published on finite and infinite combinatorics, and developed (with his collaborators A. M. Sette and P. A. Veloso) the modulated logics, a new kind of logics that allows the formalization of qualitative reasoning by means of special generalized quantifiers.

He received the Telesio-Galilei Gold Medal Award in Philosophy and Mathematics in 2012.