área de pesquisa Algebrização da lógica de primeira ordem Ana Cláudia de Jesus Golzio First-order swap structures semantics for some logics of formal inconsistency Juliana Bueno-Soller Lógica de primeira ordem e álgebras cilíndricas Prof. Dr. Jair Minoro Abe
