Sobre Certos Sistemas de Lógica Relevante
Sobre Certos Sistemas de Lógica Relevante
Sobre o Sistema G1 de Gentzen
Sobre o Sistema G1 de Gentzen
Sur l’ensemble R dans NFw
Sur l’ensemble R dans NFw
Teorema da Dedução para Teorias de Primeira Ordem
Teorema da Dedução para Teorias de Primeira Ordem
Teorema de Completude para teorias de primeira ordem
Teorema de Completude para teorias de primeira ordem
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
Estudo de AIA Capítulo I: Os Cálculos Cn
Estudo de AIA Capítulo I: Os Cálculos Cn
Estudo de AIA Desenvolvimento de C1
Estudo de AIA Desenvolvimento de C1
Estudo de AIA, Sobre a Lógica da Vaguidade
Estudo de AIA, Sobre a Lógica da Vaguidade
Estudo de AIA Teoremas em Cw
Estudo de AIA Teoremas em Cw
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Estudo sobre a completude de C+
Estudo sobre a completude de C+
Estudo de AIA
Estudo de AIA
Estudo de AIA sobre dualidade entre C1 e C1
Estudo de AIA sobre dualidade entre C1 e C1
Críticas de Smirnov à lógica de Vasil'év
Críticas de Smirnov à lógica de Vasil'év
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
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
