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