Logics of Formal Inconsistency
(Doctoral Thesis, summa cum laude)
Department of Philosophy, IFCH, UNICAMP, and Department of Mathematics, IST, Brazil and Portugal, 2005, lxviii+306p.  Supervisors: W. A. Carnielli and C. Caleiro.
Get your copy of the thesis from here.
Referred at: CSB.

Possible-Translations Semantics
(Master's Thesis, summa cum laude, in Portuguese)
Institute for Philosophy and Human Sciences (IFCH) and Centre for Logic, Epistemology and Philosophy of Science (CLE), State University of Campinas (UNICAMP), Brazil, 1999, xxviii+240p.  Supervisor: W. A. Carnielli.
See more details, and grab a copy of it here (abstract in English) or here (abstract in Portuguese) or here.
Referred at: CSB.