publicações selecionadas livro Improving photovoltaic applications through the paraconsistent annotated evidential logic Et 2016