Walter Carnielli

Walter Carnielli is Professor of Philosophy of Logic and Foundations of Mathematics at the State University of Campinas. His publications include books on computability theory, modal logics, paraconsistent logics and combinations of logics.

Ebooks

Modalities and Multimodalities

Methods and Applications of Mathematical Logic: Proceedings of the VII Latin American Symposium on Mathematical Logic Held July 29-August 2, 1985

Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil

Paraconsistent Logic: Consistency, Contradiction and Negation

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems