Programação Lógica Paraconsistente em Lógicas Três e Quatro Valoradas