WALTER A. CARNIELLI
carniell@cle.unicamp.br
Homepage | www.cle.unicamp.br/prof/carnielli

Culto a Ciencia High School, Campinas, SP, Brazil, graduated 1970.

B.S. Mathematics, State University of Campinas, Brazil, 1975.

Ph.D. in Logic and Foundations of Mathematics, State University of Campinas, Brazil, 1975.

Post-doctoral Fellowship in Mathematics, University of California, Berkeley, 1984--1985.

Tenured Assistant Professor of Mathematics, University of Sao Paulo, 1981.

Alexander von Humboldt scholar, Inst. fur mathernatische Logik und Grundlagenforschung,
Universitdt Munster, Germany, 1988--1989.

Visiting Professor as Alexander von Humboldt scholar, Seminar fur Logik und
Grundlagenforschung, Universität Bonn, Germany, 1997.

Professor of Logic, State University of Campinas, 1993.

Director of the The Centre for Logic, Epistemology and the History of Science (CLE) at the State University of Campinas, 1999.

Associate editor of The Journal of Applied Non-Classical Logic, 1990.

Associate editor of Studia Logica, 1995.

Member of the editorial board of Reports on Mathematical Logic, 1997.

BOOKS (partial list):

Computability: Computable Functions, Logic, and the Foundations of Mathematics
     with Richard L. Epstein, Wadsworth & Brooks/Cole, 1989.
     Second edition, including Computability and Undecidability, a Timeline,
     Wadsworth, 1999.

Propositional Logics (The Semantic Foundations of Logic)
     Kluwer, 1990.
     Second edition Oxford University Press, 1995.
     Second edition with corrections Wadsworth, 2000.

Methods and Applications of Mathematical Logic-Proceedings of the VII Latin-American
     Symposium on Mathematical Logic
       Contemporary Mathematics 69, American Mathematical Society
       (editor, with L.P. de Alcantara).

Logic, Sets and Information - Proceedings of the Tenth Brazilian Conference on
     Mathematical Logic
       Colecao CLE, 1995 (editor, with L. C. P. D. Pereira).

Advances in Contemporary Logic and Computer Science
     Contemporary Mathematics 235, American Mathematical Society
     (editor, with I.M. L. D'Ottaviano).

Paraconsistency: the Logical Way to the Inconsistent
     Marcel Dekker
     New York, 2001
     (editor, with M. E. Conigho and I.M. L. D'Ottaviano)

Modalità e multimodalità
     (Modality and multi-modality)
     W.A. Carnielli and C. Pizzi Franco, Angeli, Milan, 2001