Methods and Applications of Mathematical Logic.

by Carnielli, Walter A.
Published 1988

Advances in Contemporary Logic and Computer Science

by Carnielli, Walter A.
Published 1999

Modalities and Multimodalities by Walter Carnielli, Claudio Pizzi.

by Carnielli, Walter, Pizzi, Claudio
Published 2008

Paraconsistent Logic: Consistency, Contradiction and Negation by Walter Carnielli, Marcelo Esteban Coniglio.

by Carnielli, Walter, Coniglio, Marcelo Esteban
Published 2016

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.

by Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula, Sernadas, Cristina
Published 2008

Contradictions, from Consistency to Inconsistency edited by Walter Carnielli, Jacek Malinowski.

Published 2018

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery edited by Lorenzo Magnani, Walter Carnielli, Claudio Pizzi.

Published 2010

Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 Walter A. Carnielli and Luiz Paulo de Alcantara, editors.

Published 1988

Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.

Published 1999