Sobre os fundamentos de programação lógica paraconsistente