CNPQ: Currículo Lattes Email: ciro.russo@ufba.br Ramal: 6284 Sala: 212 Linha de pesquisa Publicações Lógica, Conjuntos e Topologia – IME/UFBA An order-theoretic analysis of interpretations among propositional deductive systems A fuzzified brain algorithm for learning DNF from incomplete data
