Sistemas de sequentes para as hierarquias paraconsistentes Cn e Cn* de da Costa
Bases para programação lógica paraconsistente em lógicas multivaloradas
Soluções eficientes para processos de decisão markovianos híbridos especificados c...
Desvendando Enigmas e Ressignificando Paradoxos: uma investigação em lógicas não-c...
Extensões probabilísticas de fragmentos da lógica de primeira ordem