Analysis and Synthesis of Logics Más libros de Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia & Cristina Sernadas

Contradictions, from Consistency to Inconsistency Contradictions, from Consistency to Inconsistency
2018
Paraconsistent Logic: Consistency, Contradiction and Negation Paraconsistent Logic: Consistency, Contradiction and Negation
2016
Computabilidade, funções computáveis, lógica e os fundamentos da Matemática Computabilidade, funções computáveis, lógica e os fundamentos da Matemática
2013
Modalities and Multimodalities Modalities and Multimodalities
2008
Intelligent Multimedia Data Hiding Intelligent Multimedia Data Hiding
2010