Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P
Unidade de opostos
Unidade de opostos
Notas para a História da Lógica, História, e Variedades da Lógica
Notas para a História da Lógica, História, e Variedades da Lógica
Estudos analisando vários aspectos da lógica
Estudos analisando vários aspectos da lógica
Estudos contendo tópicos sobre axiomas
Estudos contendo tópicos sobre axiomas
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
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
Estudo sobre a regra do modus ponens
Estudo sobre 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
Teoria de Conjuntos R e cálculos diversos
Teoria de Conjuntos R e cálculos diversos
Estudo contendo demonstrações de vários teoremas
Estudo contendo demonstrações de vários teoremas
Estudo contendo vários teoremas
Estudo contendo vários teoremas
Some remarks on the logic of vagueness
Some remarks on the logic of vagueness
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Russell's Set Versus the Universal Set in Paraconsistent Set Theory
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Mathematical Logic in Latin America
Further considerations on the Postulate of Separation
Further considerations on the Postulate of Separation
Le schéma de la separation et les calculs Tn
Le schéma de la separation et les calculs Tn
Carta de Leopoldo Nachbin
O paradoxo de Curry-Moh Shaw-Kwei
O paradoxo de Curry-Moh Shaw-Kwei
On the relevant systems P and P* and some related systems
On the relevant systems P and P* and some related systems
Sur le schèma de la sèparation
Sur le schèma de la sèparation
Sur un Théorème de Hilbert et Bernays
Sur un Théorème de Hilbert et Bernays
Sur une hiérarchies de systèmes formels
Sur une hiérarchies de systèmes formels
Transformadas no Cálculo Restrito de Predicados
Transformadas no Cálculo Restrito de Predicados
Une sémantique pour le calcul C1=. C.R
Une sémantique pour le calcul C1=. C.R
Introduction: A Short History of the Latin American Logic Symposia
Introduction: A Short History of the Latin American Logic Symposia
Mathematical Logic
Mathematical Logic
