Prof. Dr. Walter Alexandre Carnielli

Profile

Academic position	Full Professor
Research fields	Fundamentals of Mathematics, Logics, Set Theory,Geometry, Topology,Theoretical Philosophy
Keywords	Logics of Formal Inconsistency, Paraconsistent Logics, Many-Valued Logics, Foundations of Reasoning

Current contact address

Country	Brazil
City	Campinas
Institution	Universidade Estadual de Campinas (UNICAMP)
Institute	Centro de Logica e Epistemologia e Historia da Ciencia
Homepage	http://www.cle.unicamp.br/prof/carnielli

Host during sponsorship

Prof. Dr. Justus Diller	Institut für Mathematische Logik und Grundlagenforschung, Universität Münster, Münster
Prof. Dr. Rainer Stuhlmann-Laeisz	Professur für Logik und Grundlagenforschung, Rheinische Friedrich-Wilhelms-Universität Bonn, Bonn
Prof. Dr. Heinrich Wansing	Institut für Philosophie II, Ruhr-Universität Bochum, Bochum
Start of initial sponsorship	01/09/1988

Program(s)

1987	Humboldt Research Fellowship Programme

Publications (partial selection)

2008	Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia and Cristina Sernadas : Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems. Springer, 2008
2007	Jean-Yves Beziau, Walter Carnielli and Dov Gabbay (Editors): Handbook of Paraconsistency. College Publications, 2007
2006	Walter Alexandre Carnielli, Richard L. Epstein: Computability: computable functions, logic and the foundations of mathematics (portugesisch). 2006
2002	Walter Carnielli, Marcelo E. Coniglio and Itala M.L. D'Ottaviano: Paraconsistency: The Logical Way to the Inconsistent. Proceedings of the II World Congress on Paraconsistency (WCP'2000). . Marcel Dekker Inc., 2002
2000	Walter Alexandre Carnielli, Computability: computable functions, logic and the foundations of mathematics with the timeline Computability and Undecidability. Wadsworth/Thomson Learning, 2000