Information object browse - Arquivos Históricos do Centro de Lógica, Epistemologia e História da Ciência

Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT372
Item

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

BR SPCLEARQ FAIA-PIm-V-IT371
Item

Parte de Ayda 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

Estudo de AIA sobre dualidade entre C1 e C1

BR SPCLEARQ FAIA-PIm-SC-IT393
Item

Parte de Ayda Ignez Arruda

Estudo de AIA sobre dualidade entre C1 e C1. S.l., S.d. S.ass. 3p. ms.

Ayda Ignez Arruda

Estudo de AIA

BR SPCLEARQ FAIA-PIm-SC-IT392
Item

Parte de Ayda 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+

BR SPCLEARQ FAIA-PIm-SC-IT391
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-SC-IT390
Item

Parte de Ayda 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

Estudo de AIA Teoremas em Cw

BR SPCLEARQ FAIA-PIm-SC-IT389
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-SC-IT388
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-SC-IT387
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-SC-IT386
Item

Parte de Ayda 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

Estudo contendo vários teoremas

BR SPCLEARQ FAIA-PIm-EL-IT440
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT439
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT438
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT437
Item
1974-12-05 - 1975-12-09

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT436
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT435
Item

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT434
Item
1976-09-16 - 1976-10-07

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT433
Item
1976-08-29

Parte de Ayda 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

BR SPCLEARQ FAIA-PIm-EL-IT432
Item

Parte de Ayda 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

Estudos analisando vários aspectos da lógica

BR SPCLEARQ FAIA-PIm-EL-IT431
Item
1975-09-05

Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, analisando vários aspectos da lógica, fazendo referência a alguns pensadores e lógicos. S.l., 05 set. 1975. S.ass. 7p. ms.

Ayda Ignez Arruda

Notas para a História da Lógica, História, e Variedades da Lógica

BR SPCLEARQ FAIA-PIm-EL-IT430
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, sem título, contendo partes intituladas Notas para a História da Lógica, História, e Variedades da Lógica. S.l., S.d. S.ass. 15p. ms.

Ayda Ignez Arruda

Unidade de opostos

BR SPCLEARQ FAIA-PIm-EL-IT429
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Unidade de opostos. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P

BR SPCLEARQ FAIA-PIm-EL-IT428
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Uma variante do sistema P, tratando sobre a parte positiva da lógica relevante P. S.l., S.d. S.ass. 26p. ms.

Ayda Ignez Arruda

Teorema de Completude para teorias de primeira ordem

BR SPCLEARQ FAIA-PIm-EL-IT427
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Teorema de Completude para teorias de primeira ordem. S.l., S.d. S.ass. 22p. ms.

Ayda Ignez Arruda

Teorema da Dedução para Teorias de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT426
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Teorema da Dedução para Teorias de Primeira Ordem. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Sur l’ensemble R dans NFw

BR SPCLEARQ FAIA-PIm-EL-IT425
Item

Parte de Ayda Ignez Arruda

Estudo, em francês, de AIA intitulado Sur l’ensemble R dans NFw. S.l., S.d. S.ass. 16p. ms.

Ayda Ignez Arruda

Sobre o Sistema G1 de Gentzen

BR SPCLEARQ FAIA-PIm-EL-IT424
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. ms.

Ayda Ignez Arruda

Sobre Certos Sistemas de Lógica Relevante

BR SPCLEARQ FAIA-PIm-EL-IT423
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Sobre Certos Sistemas de Lógica Relevante. S.l., S.d. S.ass. 11p. ms.

Ayda Ignez Arruda

Sobre a regra do Modus Ponens

BR SPCLEARQ FAIA-PIm-EL-IT422
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Sobre a regra do Modus Ponens. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Sistemas formais inconsistentes e teorias de conjuntos

BR SPCLEARQ FAIA-PIm-EL-IT421
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Sistemas formais inconsistentes e teorias de conjuntos. S.l., S.d. S.ass. 5p. ms.

Ayda Ignez Arruda

Limite seus resultados por:

Idioma

Parte de

Produtor

Nome

Local

Assunto

Gênero

Nível de descrição

Tipo de mídia

Mostrando 1729 resultados