Um cálculo de sequentes para a lógica trivalente e intuicionista I1
Lógica da inconsistência formal com substituição: Um estudo algébrico e de teoria ...
Em direção a um marco lógico unitário para a não-monotonidade e a paraconsistência
Cálculo da Perspectiva Dêitica através do Raciocínio Espacial Qualitativo
Modelos a valores algébricos para teorias de conjuntos não clássicas
Estudos teóricos de propriedades eletrônicas e estruturais de moléculas, efeitos d...