Prof. Dr. Walter Alexandre Carnielli

Profil

Derzeitige Stellung	Professor W-3 und Äquivalente
Fachgebiet	Grundlagen der Mathematik, Logik, Mengenlehre,Geometrie, Topologie,Theoretische Philosophie
Keywords	Logics of Formal Inconsistency, Paraconsistent Logics, Many-Valued Logics, Foundations of Reasoning

Aktuelle Kontaktadresse

Land	Brasilien
Ort	Campinas
Universität/Institution	Universidade Estadual de Campinas (UNICAMP)
Institut/Abteilung	Centro de Logica e Epistemologia e Historia da Ciencia
Website	http://www.cle.unicamp.br/prof/carnielli

Gastgeber*innen während der Förderung

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
Beginn der ersten Förderung	01.09.1988

Programm(e)

1987	Humboldt-Forschungsstipendien-Programm

Publikationen (Auswahl)

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