18 resultados con objetos digitales Muestra los resultados con objetos digitales
Rascunho Sobre os cálculos de predicados de Vasil'év
Parte deAyda Ignez Arruda
Rascunho de AIA, intitulado Sobre os cálculos de predicados de Vasil'év, contendo vários cálculos relacionados. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez Arruda
Estudo de AIA Silogística de Vasil'év
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.
Ayda Ignez Arruda
Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"
Parte deAyda Ignez Arruda
Estudo de AIA intitulado "N.A. Vasil'év: um precursor da lógica polivalente". S.l., S.d. S.ass. 26p. ms.
Ayda Ignez Arruda
N.A. Vasilév: a forerunner of Paraconsistent Logic
Parte deAyda Ignez Arruda
Artigo, em inglês, de AIA intitulado N.A. Vasilév: a forerunner of Paraconsistent Logic. [Unicamp, 1982] S.ass. 26p. dat.
Ayda Ignez Arruda
N.A. Vasilév: a forerunner of Paraconsistent Logic
Parte deAyda Ignez Arruda
Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". Unicamp, [1983]. S.ass. 26p. dat.
Ayda Ignez Arruda
Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”
Parte deAyda Ignez Arruda
Resumo, em inglês, do trabalho de AIA a ser apresentado no VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência em Salzburg, intitulado "N.A. Vasilév: a Forerunner of Paraconsistent Logic". [IMECC, 1983]. S.ass. 5p. dat. cópia
Ayda Ignez Arruda
Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év
Parte deAyda Ignez Arruda
Resenha de AIA, sobre o texto Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év. S.l., S.d. S.ass. 12p. dat.
Ayda Ignez Arruda
Resenha sobre Lógica e Metalógica, de N. A. Vasil'év
Parte deAyda Ignez Arruda
Resenha de AIA, sobre o texto Lógica e Metalógica, de N. A. Vasil'év. S.l., S.d. S.ass. 2p. ms.
Ayda Ignez Arruda
Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Críticas de Smirnov à lógica de Vasil'év
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA sobre dualidade entre C1 e C1
Parte deAyda Ignez Arruda
Estudo de AIA sobre dualidade entre C1 e C1. S.l., S.d. S.ass. 3p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo, em inglês, de AIA, sem título, sobre a construção de lógicas paraconsistentes adequadas para o estudo de teorias inconsistentes e incompletas. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez Arruda
Estudo sobre a completude de C+
Parte deAyda Ignez Arruda
Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.
Ayda Ignez Arruda
Estudo de AIA tratando sobre completude, consistência e decidibilidade de C
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, tratando sobre completude, consistência e decidibilidade de C. S.l., S.d. S.ass. 12p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Teoremas em Cw. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Estudo de AIA, Sobre a Lógica da Vaguidade
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Sobre a Lógica da Vaguidade. S.l., S.d. S.ass. 14p. ms.
Ayda Ignez Arruda
Estudo de AIA Desenvolvimento de C1
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Desenvolvimento de C1. S.l., S.d. S.ass. 5p. ms. cópia.
Ayda Ignez Arruda
Estudo de AIA Capítulo I: Os Cálculos Cn
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Capítulo I: Os Cálculos Cn. S.l., S.d. S.ass. 18p. dat. cópia.
Ayda Ignez Arruda
Sistemas Cn, Cw e Relacionados
Parte deAyda Ignez Arruda
Estudo contendo vários teoremas
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Estudo contendo demonstrações de vários teoremas
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo demonstrações de vários teoremas. S.l., S.d. S.ass. 5p. ms.
Ayda Ignez Arruda
Teoria de Conjuntos R e cálculos diversos
Parte deAyda Ignez Arruda
Caderno de AIA, sem título, contendo anotações sobre Teoria de Conjuntos R e cálculos diversos. S.l., S.d. S.ass. 20p. ms.
Ayda Ignez Arruda
A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo partes intituladas A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias. S.l., 5 dez. 1974 - 09 dez. 1975. S.ass. 30p. ms.
Ayda Ignez Arruda
Estudo sobre a regra do modus ponens
Parte deAyda Ignez Arruda
Estudo, em francês, de AIA, sem título, sobre a regra do modus ponens. S.l., S.d. S.ass. 19p. ms.
Ayda Ignez Arruda
Estudo tratando sobre sistemas lógicos sem a regra do modus ponens
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, tratando sobre sistemas lógicos sem a regra do modus ponens. S.l., S.d. S.ass. 12p. ms.
Ayda Ignez Arruda
Caderno contendo anotações sobre lógicas relevante
Parte deAyda Ignez Arruda
Caderno de AIA, sem título, contendo anotações sobre lógicas relevantes e cálculo de predicados de primeira ordem sem igualdade CP. S.l., 16 set. - 7 out. 1976. S.ass. 36p. ms.
Ayda Ignez Arruda
Estudos tratando sobre vários aspectos pertinentes à lógica relevante
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, tratando sobre vários aspectos pertinentes à lógica relevante. S.l., 29 e 31 ago. 1976. S.ass. 22p. ms.
Ayda Ignez Arruda
Estudos contendo tópicos sobre axiomas
Parte deAyda Ignez Arruda
Estudo de AIA, sem título, contendo tópicos sobre axiomas, regras de dedução e linguagens de primeira ordem. S.l., S.d. S.ass. 7p. ms.
Ayda Ignez Arruda