The Significance of the New Logic
٢٠١٨
Computabilidade, funções computáveis, lógica e os fundamentos da Matemática
٢٠١٣
Contradictions, from Consistency to Inconsistency
٢٠١٨
Paraconsistent Logic: Consistency, Contradiction and Negation
٢٠١٦
Analysis and Synthesis of Logics
٢٠٠٨
Modalities and Multimodalities
٢٠٠٨