1. On the imaginary logic of Vasiliev. In: Non-Classical Logic, Model Theory and Computability (A. I. Arruda, N. C. A. da Costa, and R. Chuaqui, eds.), pp. 3–24 (North-Holland, 1977).
2. Natural 3-valued logics—characterization and proof theory
3. Are paraconsistent negations negations? In: Paraconsistency, the Logical Way to the Inconsistent (W. Carnielli, M. Coniglio and I. M. L. D'Ottaviano, eds.). Lecture Notes in Pure and Applied Mathematics 228, pp. 465–486 (Marcel Dekker, 2002).
4. Adventures in the paraconsistent jungle. CLE e-Prints 4 (2004). Available at http://www.cle.unicamp.br/e-prints/articles.html.