Information object browse - Historical Archives - Centre for Logic, Epistemology and History of Science

Sobre Certos Sistemas de Lógica Relevante

BR SPCLEARQ FAIA-PIm-EL-IT423
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Sobre o Sistema G1 de Gentzen

BR SPCLEARQ FAIA-PIm-EL-IT424
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Sur l’ensemble R dans NFw

BR SPCLEARQ FAIA-PIm-EL-IT425
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Teorema da Dedução para Teorias de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT426
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

Teorema de Completude para teorias de primeira ordem

BR SPCLEARQ FAIA-PIm-EL-IT427
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

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

BR SPCLEARQ FAIA-PIm-EL-IT428
Unidad documental simple

Parte deAyda 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.

Sin título

Unidade de opostos

BR SPCLEARQ FAIA-PIm-EL-IT429
Unidad documental simple

Parte deAyda Ignez Arruda

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

Sin título

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

BR SPCLEARQ FAIA-PIm-EL-IT430
Unidad documental simple

Parte deAyda 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.

Sin título

Estudos analisando vários aspectos da lógica

BR SPCLEARQ FAIA-PIm-EL-IT431
Unidad documental simple
1975-09-05

Parte deAyda 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.

Sin título

Estudos contendo tópicos sobre axiomas

BR SPCLEARQ FAIA-PIm-EL-IT432
Unidad documental simple

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.

Sin título

Estudos tratando sobre vários aspectos pertinentes à lógica relevante

BR SPCLEARQ FAIA-PIm-EL-IT433
Unidad documental simple
1976-08-29

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.

Sin título

Caderno contendo anotações sobre lógicas relevante

BR SPCLEARQ FAIA-PIm-EL-IT434
Unidad documental simple
1976-09-16 - 1976-10-07

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.

Sin título

Estudo tratando sobre sistemas lógicos sem a regra do modus ponens

BR SPCLEARQ FAIA-PIm-EL-IT435
Unidad documental simple

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.

Sin título

Estudo sobre a regra do modus ponens

BR SPCLEARQ FAIA-PIm-EL-IT436
Unidad documental simple

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.

Sin título

A Natureza da Lógica Matemática, Função e Predicados, Teoria de Modelos, Decomposição de Teorias

BR SPCLEARQ FAIA-PIm-EL-IT437
Unidad documental simple
1974-12-05 - 1975-12-09

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.

Sin título

Teoria de Conjuntos R e cálculos diversos

BR SPCLEARQ FAIA-PIm-EL-IT438
Unidad documental simple

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.

Sin título

Estudo contendo demonstrações de vários teoremas

BR SPCLEARQ FAIA-PIm-EL-IT439
Unidad documental simple

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.

Sin título

Estudo contendo vários teoremas

BR SPCLEARQ FAIA-PIm-EL-IT440
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, sem título, contendo vários teoremas. S.l., S.d. S.ass. 8p. ms.

Sin título

Estudo de AIA Capítulo I: Os Cálculos Cn

BR SPCLEARQ FAIA-PIm-SC-IT386
Unidad documental simple

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.

Sin título

Estudo de AIA Desenvolvimento de C1

BR SPCLEARQ FAIA-PIm-SC-IT387
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Desenvolvimento de C1. S.l., S.d. S.ass. 5p. ms. cópia.

Sin título

Estudo de AIA, Sobre a Lógica da Vaguidade

BR SPCLEARQ FAIA-PIm-SC-IT388
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Sobre a Lógica da Vaguidade. S.l., S.d. S.ass. 14p. ms.

Sin título

Estudo de AIA Teoremas em Cw

BR SPCLEARQ FAIA-PIm-SC-IT389
Unidad documental simple

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Teoremas em Cw. S.l., S.d. S.ass. 8p. ms.

Sin título

Estudo de AIA tratando sobre completude, consistência e decidibilidade de C

BR SPCLEARQ FAIA-PIm-SC-IT390
Unidad documental simple

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.

Sin título

Estudo sobre a completude de C+

BR SPCLEARQ FAIA-PIm-SC-IT391
Unidad documental simple

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.

Sin título

Estudo de AIA

BR SPCLEARQ FAIA-PIm-SC-IT392
Unidad documental simple

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.

Sin título

Estudo de AIA sobre dualidade entre C1 e C1