Extensões probabilísticas de fragmentos da lógica de primeira ordem
Bases para programação lógica paraconsistente em lógicas multivaloradas
Desvendando Enigmas e Ressignificando Paradoxos: uma investigação em lógicas não-c...
RTI - 2011-2012 - Plano anual de aplicação da parcela institucional da reserva téc...