Tableaux analíticos para os sistemas proposicionais paraconsistentes Cn de da cost...
O método de Tableaux aplicado a uma lógica quase-modulada para o quantificador "po...
Um cálculo de sequentes para a lógica trivalente e intuicionista I1
Polinomizando: um metod de representacao em logica, com raizes em leibniz e boole.
A crise de identidade da filosofia e da subjetividade: Edmund Husserl, Ernst Cassi...