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

BR SPCLEARQ FAIA-C-Cp-IT272
Item
1982-08-05

Carta, em inglês, de Diderik Batens para AIA, lamentando seus problemas de saúde e comentando sobre o trabalho escrito por ambos. Gent, 05 ago. 1982. Ass.: Diderik. 1p. dat.

Ayda Ignez Arruda

Carta de Francisco Xavier Caicedo para AIA

BR SPCLEARQ FAIA-C-Cp-IT276
Item
1982-03-31

Parte deAyda Ignez Arruda

Carta, em inglês, de Francisco Xavier Caicedo para AIA, comunicando dia de viagem, solicitando reservas e dando explicações quanto ao seu nome oficial. Bogotá, 31 mar. 1982. Ass.: Xavier Caicedo. 1p. dat.

Ayda Ignez Arruda

Carta de Graham Priest para AIA

BR SPCLEARQ FAIA-C-Cp-IT280
Item
[1982]-12-20

Parte deAyda Ignez Arruda

Carta, em inglês, de Graham Priest para AIA, desejando rápida recuperação de saúde e informando sobre publicação de artigos. London, 20 dez. [1982]. Ass.: Graham Priest. 1p. ms.

Ayda Ignez Arruda

Carta de Jaime Bohorquez para AIA

BR SPCLEARQ FAIA-C-Cp-IT289
Item
1982-09-12

Parte deAyda Ignez Arruda

Carta, em inglês, de Jaime Bohorquez para AIA, informando seu novo endereço, a obtenção do grau de doutor e reafirmando seu interesse em trabalhar em Campinas. Bogotá, 12 set. 1982. Ass.: Jaime Bohorquez. 1p. dat.

Ayda Ignez Arruda

Aerograma de Ken para AIA

BR SPCLEARQ FAIA-C-Cp-IT297
Item
? - 1982-12-25

Parte deAyda Ignez Arruda

Aerograma, em espanhol, de Ken para AIA, informando sobre o seu estado de saúde. Annapolis, 25 dez. 1982. Ass.: Ken. 1p. ms.

Ayda Ignez Arruda

Carta de Marek Palasinski para AIA

BR SPCLEARQ FAIA-C-Cp-IT310
Item
? - 1982-02-03

Parte deAyda Ignez Arruda

Carta, em inglês, de Marek Palasinski para AIA, comunicando dificuldades políticas na Polônia e remetendo endereço e nome de acompanhante de viagem para AIA. Cracóvia, 03 fev. 1982. Ass.: Marek. 1p. ms.

Ayda Ignez Arruda

Carta de Maria da Graça Rodrigues

BR SPCLEARQ FAIA-C-Cp-IT312
Item

Parte deAyda Ignez Arruda

Carta de Maria da Graça Rodrigues, coordenadora do Seminário Castelan, para AIA, comunicando a da data da palestra de AIA. Departamento de Matemática da Universidade Federal de Santa Catarina, [198-]. Ass.: M. Rodrigues. 1p. dat.

Ayda Ignez Arruda

Carta de Oswaldo Porchat Pereira para AIA

BR SPCLEARQ FAIA-C-Cp-IT318
Item
? - 1983-07-03

Parte deAyda Ignez Arruda

Carta de Oswaldo Porchat Pereira para AIA, falando-lhe sobre sua estada em Londres e perguntando sobre as atividades de AIA. Londres, 03 jul. 1983. Ass.: Porchat. 1p. dat.

Ayda Ignez Arruda

Carta de Paolo Bottura para AIA

BR SPCLEARQ FAIA-C-Cp-IT319
Item
? - 1982-05-05

Parte deAyda Ignez Arruda

Carta, em inglês, de Paolo Bottura para AIA, informando sobre trabalho científico e solicitando cópia de artigos. Montalto Dora, 05 maio 1982. Ass.: Paolo Bottura. 1p. dat.

Ayda Ignez Arruda

Carta de Paolo Bottura para AIA

BR SPCLEARQ FAIA-C-Cp-IT320
Item
? - 1982-03-12

Parte deAyda Ignez Arruda

Carta, em inglês, de Paolo Bottura para AIA, expondo questões sobre um artigo de Ayda. Montalto Dora, 12 mar. 1982. Ass.: Paolo Bottura. 2p. dat.

Ayda Ignez Arruda

Aplicação de Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT394
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Aplicação de Matrizes. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Decidibilidade do cálculo implicativo clássico

BR SPCLEARQ FAIA-PIm-CP-IT400
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Decidibilidade do cálculo implicativo clássico. S.l., S.d. S.ass. 17 ms.

Ayda Ignez Arruda

Introdução: 3 – Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT403
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.

Ayda Ignez Arruda

Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT404
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Várias axiomáticas para o cálculo proposicional clássico

BR SPCLEARQ FAIA-PIm-CP-IT405
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Várias axiomáticas para o cálculo proposicional clássico. S.l., S.d. S.ass. 1p. ms.

Ayda Ignez Arruda

Artigo cálculos proposicionais

BR SPCLEARQ FAIA-PIm-EL-IT406
Item

Parte deAyda Ignez Arruda

Artigo, em francês, [de AIA], sem título, sobre cálculos proposicionais que servem de base a sistemas inconsistentes e não-triviais. S.l., S.d. S.ass. 15p. ms. cópia.

Ayda Ignez Arruda

Observações sobre um sistema sem a regra do modus ponens

BR SPCLEARQ FAIA-PIm-EL-IT417
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Observações sobre um sistema sem a regra do modus ponens. S.l., S.d. Ass.: Ayda Ignez Arruda. 11p. ms.

Ayda Ignez Arruda

Relevance Logic and the Schema of Separation

BR SPCLEARQ FAIA-PIm-EL-IT418
Item

Parte deAyda Ignez Arruda

Estudo, em inglês, de AIA intitulado Relevance Logic and the Schema of Separation. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Semântica para D1

BR SPCLEARQ FAIA-PIm-EL-IT419
Item

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Semântica para D1. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Sistema DL

BR SPCLEARQ FAIA-PIm-EL-IT420
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.

Ayda Ignez Arruda

Sistemas formais inconsistentes e teorias de conjuntos

BR SPCLEARQ FAIA-PIm-EL-IT421
Item

Parte deAyda Ignez Arruda

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

Ayda Ignez Arruda

Sobre Certos Sistemas de Lógica Relevante

BR SPCLEARQ FAIA-PIm-EL-IT423
Item

Parte deAyda Ignez Arruda

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

Ayda Ignez Arruda

Teorema de Completude para teorias de primeira ordem

BR SPCLEARQ FAIA-PIm-EL-IT427
Item

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

Unidade de opostos

BR SPCLEARQ FAIA-PIm-EL-IT429
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Unidade de opostos. S.l., S.d. 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 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.

Ayda Ignez Arruda

Russell's Set Versus the Universal Set in Paraconsistent Set Theory

BR SPCLEARQ FAIA-I-IT495
Item
1982-06

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; BATENS, Diderik. Russell's Set Versus the Universal Set in Paraconsistent Set Theory. Logique et Analyse, v.25, n.98, p. 121-133, jun. 1982.

Ayda Ignez Arruda

Further considerations on the Postulate of Separation

BR SPCLEARQ FAIA-I-IT498
Item
1968

Parte deAyda Ignez Arruda

ARRUDA, A.I.; COSTA, N.C.A. da. Further considerations on the Postulate of Separation. s.l., p. 555, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p. 555, 1968].

Ayda Ignez Arruda

O paradoxo de Curry-Moh Shaw-Kwei

BR SPCLEARQ FAIA-I-IT500
Item
1966

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. O paradoxo de Curry-Moh Shaw-Kwei. Boletim da Sociedade de Matemática de São Paulo, São Paulo, v.18, n.1-2, p. 83-89. 1966.

Ayda Ignez Arruda

Sur une hiérarchies de systèmes formels