Tese de Kleidson Eglicio Carvalho da Silva Oliveira

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