Saltar menú de navegación Teclas de acceso rápido

Walter A. 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

Teclas de acceso