Carta de Antonio Conde
Carta de Antonio Conde
Carta de John T. Baldwin a Said Sidki
Carta de John T. Baldwin a Said Sidki
Carta de Richard [Routley] para Newton C. A. da Costa
Carta de Richard [Routley] para Newton C. A. da Costa
Carta de Ubiratan D’Ambrósio
Carta de Ubiratan D’Ambrósio
Carta de recomendação de Weiner Krabs
Carta de recomendação de Weiner Krabs
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
N.A. Vasilév: a forerunner of Paraconsistent Logic
N.A. Vasilév: a forerunner of Paraconsistent Logic
Estudo de AIA Silogística de Vasil'év
Estudo de AIA Silogística de Vasil'év
Estudo de AIA sem título
Estudo de AIA sem título
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Estudo de AIA sobre Vasil'ev e a lógica paraconsistente
Estudo de AIA Capítulo I: Os Cálculos Cn
Estudo de AIA Capítulo I: Os Cálculos Cn
Estudo de AIA sobre dualidade entre C1 e C1
Estudo de AIA sobre dualidade entre C1 e C1
Cálculo de predicados de ordem superior
Cálculo de predicados de ordem superior
Decidibilidade do cálculo implicativo clássico
Decidibilidade do cálculo implicativo clássico
Independência de axiomas
Independência de axiomas
Aspects of the Historical Development of Paraconsistent Logic
Aspects of the Historical Development of Paraconsistent Logic
Abstract da palestra Implicative Systems and Modus Ponens Rule
Abstract da palestra Implicative Systems and Modus Ponens Rule
Observações sobre os sistemas NFi
Observações sobre os sistemas NFi
Sobre a regra do Modus Ponens
Sobre a regra do Modus Ponens
Teorema da Dedução para Teorias de Primeira Ordem
Teorema da Dedução para Teorias de Primeira Ordem
Estudos contendo tópicos sobre axiomas
Estudos contendo tópicos sobre axiomas
Caderno contendo anotações sobre lógicas relevante
Caderno contendo anotações sobre lógicas relevante
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Studies in Paraconsistent Logic I: The Dialectical Principle of the Unity of Opposities
Tradução do artigo de Jean Dieudonné
Tradução do artigo de Jean Dieudonné
Gödel’s collected works (A.S.L. Project)
Gödel’s collected works (A.S.L. Project)
Tradução do artigo de Jean Leray
Tradução do artigo de Jean Leray
