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

BR SPCLEARQ FAIA-C-Cp-IT313
Item

Carta, em inglês, de Nicola Grana para AIA, comunicando interesse pelos estudos de Lógica Paraconsistente. [Itália, 198-]. Ass.: Nicola Grana. 1p. ms.

Untitled

Carta de Richard Routley para AIA

BR SPCLEARQ FAIA-C-Cp-IT322
Item

Part of Ayda Ignez Arruda

Carta, em inglês, de Richard Routley para AIA, comentando sobre artigos e trabalhos científicos. Austrália, 10 dez. [1982]. Ass.: Richard. 1p. ms.

Untitled

Carta de Richard [Routley] para Newton C. A. da Costa

BR SPCLEARQ FAIA-C-Ct-IT350
Item

Part of Ayda Ignez Arruda

Carta, em inglês, de Richard [Routley] para Newton C. A. da Costa, encaminhando o estudo Relevant da Costa Logics and their Extensions. S.l., S.d. Ass.: Richard. 2p. dat.

Untitled

Sobre A Teoria dos Tipos

BR SPCLEARQ FAIA-PIm-A-IT366
Item

Part of Ayda Ignez Arruda

Artigo de AIA, intitulado Sobre A Teoria dos Tipos. S.l., S.d. S.ass. 7p. ms., dat.

Untitled

N.A. Vasilév: a forerunner of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-V-IT377
Item

Part of Ayda Ignez Arruda

Artigo, em inglês, de AIA intitulado N.A. Vasilév: a forerunner of Paraconsistent Logic. [Unicamp, 1982] S.ass. 26p. dat.

Untitled

Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana

BR SPCLEARQ FAIA-PIm-V-IT379
Item

Part of Ayda 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.

Untitled

Rascunho Sobre os cálculos de predicados de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT381
Item

Part of Ayda 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.

Untitled

Estudo de AIA sobre a silogística de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT384
Item

Part of Ayda Ignez Arruda

Estudo de AIA, sem título, sobre a silogística de Vasil'év. S.l., S.d. S.ass. 11p. ms

Untitled

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

BR SPCLEARQ FAIA-PIm-SC-IT390
Item

Part of 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.

Untitled

Estudo sobre a completude de C+

BR SPCLEARQ FAIA-PIm-SC-IT391
Item

Part of Ayda Ignez Arruda

Estudo de [AIA], sem título, sobre a completude de C+. S.l., S.d. S.ass. 16p. ms. cópia.

Untitled

Estudo de AIA

BR SPCLEARQ FAIA-PIm-SC-IT392
Item

Part of 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.

Untitled

Capítulo I: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT397
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo I: Cálculo Proposicional. S.l., S.d. S.ass. 5p. ms.

Untitled

Capítulo II: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT398
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.

Untitled

Função de verdade e matrizes

BR SPCLEARQ FAIA-PIm-CP-IT401
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Função de verdade e matrizes. S.l., S.d. S.ass. 4p. ms.

Untitled

Capítulo I - Introdução aos Conceitos Fundamentais

BR SPCLEARQ FAIA-PIm-EL-IT410
Item

Part of Ayda Ignez Arruda

Estudo de AIA, intitulado Capítulo I - Introdução aos Conceitos Fundamentais, tratando sobre lógica e sistemas formais. S.l., S.d. S.ass. 10p. ms., dat.

Untitled

Lógicas de conceitos inexatos

BR SPCLEARQ FAIA-PIm-EL-IT414
Item

Part of Ayda Ignez Arruda

Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.

Untitled

Sur l’ensemble R dans NFw

BR SPCLEARQ FAIA-PIm-EL-IT425
Item

Part of Ayda Ignez Arruda

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

Untitled

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

BR SPCLEARQ FAIA-PIm-EL-IT428
Item

Part of 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.

Untitled

Estudos analisando vários aspectos da lógica

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

Part of 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.

Untitled

Estudo sobre a regra do modus ponens

BR SPCLEARQ FAIA-PIm-EL-IT436
Item

Part of 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.

Untitled

Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos

BR SPCLEARQ FAIA-PItm-IT446
Item

Part of Ayda Ignez Arruda

Artigo, em espanhol, de Jörg Flum, intitulado El Problema de las Palabras en la Teoria de Grupos. S.l., S.d. S.ass. 9p. dat. cópia.

Untitled

As concepções lógicas de N.A. Vasil’év

BR SPCLEARQ FAIA-PItm-IT455
Item

Part of Ayda Ignez Arruda

Tradução do artigo de V.A. Smirnov, intitulado As concepções lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 16p. dat

Untitled

As idéias lógicas de N.A. Vasil’év

BR SPCLEARQ FAIA-PItm-IT464
Item

Part of Ayda Ignez Arruda

Artigo sem autor intitulado As idéias lógicas de N.A. Vasil’év. S.l., S.d. S.ass. 54p. dat. cópia.

Untitled

Aspects of the historical development of Paraconsistent Logic

BR SPCLEARQ FAIA-Impr-IT469
Item
1980-02

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. Aspects of the historical development of Paraconsistent Logic. Campinas: Unicamp, fev. 1980. 16 p. (Relatório Interno nº 172, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Untitled

La mathématique classiques dans Nfw

BR SPCLEARQ FAIA-Impr-IT472
Item
1971-05-03

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. La mathématique classiques dans Nfw. C.R. Acad. Sc. Paris, t.272, p. 1152-1153, 3 maio 1971.

Untitled

On Griss propositional calculus

BR SPCLEARQ FAIA-Impr-IT475
Item
1971-09

Part of Ayda Ignez Arruda

ARRUDA, Ayda I. On Griss propositional calculus. The Journal of Symbolic Logic. s.l., v.36, n.3, p. 576/579, set. 1971. Resumo publicado em The Journal of Symbolic Logic, v.36, n.3, p.579, set. 1971.

Untitled

On the Postulate of Separation

BR SPCLEARQ FAIA-Impr-IT478
Item
1968

Part of Ayda Ignez Arruda

ARRUDA, A.I. On the Postulate of Separation. s.l., p. 399-400, s.d. Resumo publicado em [Notices of the American Mathematical Society, v.15, p.399-400, 1968].

Untitled

Remarks on da Costa Paraconsistent set theories

BR SPCLEARQ FAIA-Impr-IT479
Item
1982-02

Part of Ayda Ignez Arruda

ARRUDA, Ayda Ignez. Remarks on da Costa Paraconsistent set theories. Campinas: Unicamp, fev. 1982. 25p. (Relatório Interno, n° 197, Instituto de Matemática, Estatística e Ciência da Computação, Universidade Estadual de Campinas)

Untitled

Sur certaines hiérarchies de calculs propositionnels