Rascunho Sobre os cálculos de predicados de Vasil'év
- BR SPCLEARQ FAIA-PIm-V-IT381
- Item
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
19 resultados com objetos digitais Exibir resultados com objetos digitais
Rascunho Sobre os cálculos de predicados de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA Silogística de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
N.A. Vasilév: a forerunner of Paraconsistent Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
N.A. Vasilév: a forerunner of Paraconsistent Logic
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Críticas de Smirnov à lógica de Vasil'év
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Estudo de AIA sobre dualidade entre C1 e C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo sobre a completude de C+
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA, Sobre a Lógica da Vaguidade
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA Desenvolvimento de C1
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo de AIA Capítulo I: Os Cálculos Cn
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Sistemas Cn, Cw e Relacionados
Parte de Ayda Ignez Arruda
Estudo contendo vários teoremas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo contendo demonstrações de vários teoremas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Teoria de Conjuntos R e cálculos diversos
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo sobre a regra do modus ponens
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Caderno contendo anotações sobre lógicas relevante
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda
Estudos contendo tópicos sobre axiomas
Parte de Ayda Ignez Arruda
Ayda Ignez Arruda