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

Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic

BR SPCLEARQ FAIA-PIm-V-IT382
Item

Parte deAyda Ignez Arruda

Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.

Ayda Ignez Arruda

Estudo de AIA, Sobre a Lógica da Vaguidade

BR SPCLEARQ FAIA-PIm-SC-IT388
Item

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 Teoremas em Cw

BR SPCLEARQ FAIA-PIm-SC-IT389
Item

Parte deAyda Ignez Arruda

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

Ayda Ignez Arruda

Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT396
Item

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Cálculo Proposicional. S.l., S.d. S.ass. 14p. ms.

Ayda Ignez Arruda

A teoria de primeira ordem v

BR SPCLEARQ FAIA-PIm-EL-IT407
Item

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado A teoria de primeira ordem v. S.l., S.d. S.ass. 7p. ms.

Ayda Ignez Arruda

Cálculos Implicativos Gerais

BR SPCLEARQ FAIA-PIm-EL-IT409
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Cálculos Implicativos Gerais. S.l., S.d. S.ass. 15p. ms.

Ayda Ignez Arruda

Capítulo II - Teoria de conjuntos An

BR SPCLEARQ FAIA-PIm-EL-IT411
Item

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Capítulo II - Teoria de conjuntos An. S.l., S.d. S.ass. 20p. ms.

Ayda Ignez Arruda

Linguagem de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT413
Item

Parte deAyda Ignez Arruda

Estudo de AIA, intitulado Linguagem de Primeira Ordem. S.l., S.d. S.ass. 3p. ms.

Ayda Ignez Arruda

O sistema A de Ackermann

BR SPCLEARQ FAIA-PIm-EL-IT415
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Sobre o Sistema G1 de Gentzen

BR SPCLEARQ FAIA-PIm-EL-IT424
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Sobre o Sistema G1 de Gentzen. S.l., S.d. S.ass. 13 p. 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 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

Teoria de Conjuntos R e cálculos diversos

BR SPCLEARQ FAIA-PIm-EL-IT438
Item

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

Estudo contendo demonstrações de vários teoremas

BR SPCLEARQ FAIA-PIm-EL-IT439
Item

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

Estudo contendo vários teoremas

BR SPCLEARQ FAIA-PIm-EL-IT440
Item

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

Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik

BR SPCLEARQ FAIA-PItm-IT447
Item
[1983]

Parte deAyda Ignez Arruda

Artigo, em alemão, de Siegfried Gottwald, intitulado Aproximatives Schließen - Entwicklungen in Grenzbereich von Logik, Automatisierungstechnik und Heuristik. Leipzig, Alemanha, [1983]. 9p. dat.

Ayda Ignez Arruda

Generalization of some results of Elie Sanchez

BR SPCLEARQ FAIA-PItm-IT448
Item
[1982-1983]

Parte deAyda Ignez Arruda

Artigo, em inglês, de Siegfried Gottwald, intitulado Generalization of some results of Elie Sanchez. [Leipzig, Alemanha, 1982-1983]. S.ass. 7p. dat.

Ayda Ignez Arruda

Une étude sémantique de quelques calculs propositionnels

BR SPCLEARQ FAIA-PItm-IT450
Item

Parte deAyda Ignez Arruda

Artigo, em francês, de Andréa Loparic, intitulado Une étude sémantique de quelques calculs propositionnels. S.l., S.d. S.ass. 5p. dat. cópia.

Ayda Ignez Arruda

Arruda-da Costa P Systems And Adjacent Non-Replacement Systems

BR SPCLEARQ FAIA-PItm-IT453
Item
[1976-1978]

Parte deAyda Ignez Arruda

Artigo, em inglês, de Richard Routley e Andrea Loparic intitulado Arruda-da Costa P Systems And Adjacent Non-Replacement Systems. S.l., [1976-1978]. S.ass. 19p. dat. cópia.

Ayda Ignez Arruda

Considerações sobre os Sistemas Fomais NFn

BR SPCLEARQ FAIA-I-IT471
Item
1964

Parte deAyda Ignez Arruda

ARRUDA, Ayda Ignez. Considerações sobre os Sistemas Fomais NFn. 1964. 53 p. Tese (Livre Docência da Cadeira de Análise Matemática e Análise Superior) - Faculdade de Filosofia, Ciências e Letras, Universidade do Paraná, Curitiba.

Ayda Ignez Arruda

On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability

BR SPCLEARQ FAIA-I-IT476
Item
1977

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasili’év. Non-Classical Logics, Model Theory and Computability. s.l., p. 3-24, 1977

Ayda Ignez Arruda

On the Imaginary Logic of N.A. Vasil'év

BR SPCLEARQ FAIA-I-IT477
Item
1978-06

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. On the Imaginary Logic of N.A. Vasil'év. The Journal of Symbolic Logic. s.l., v.43, n.2, p. 352-353, jun. 1978. Resumo publicado em The Journal of Symbolic Logic, v.43, n.2, p. 352-353, jun. 1978.

Ayda Ignez Arruda

Sur certains hiérarchies de calculs de prédicats

BR SPCLEARQ FAIA-I-IT485
Item
1969-03-24

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certains hiérarchies de calculs de prédicats. C.R. Acad. Sc. Paris, t.268, p. 629-632, 24 mar. 1969.

Ayda Ignez Arruda

Sur certaines hiérarchies de calculs propositionnels

BR SPCLEARQ FAIA-I-IT486
Item
1967-11-20

Parte deAyda Ignez Arruda

ARRUDA, Ayda I. Sur certaines hiérarchies de calculs propositionnels. C.R. Acad. Sc. Paris, Paris, t. 265, p. 641-644, 20 nov. 1967

Ayda Ignez Arruda

Le schéma de la separation et les calculs Tn

BR SPCLEARQ FAIA-I-IT499
Item
1974

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Le schéma de la separation et les calculs Tn. Mathematica Japonical, v.19, n.3, p. 183-186, 1974.

Ayda Ignez Arruda

Transformadas no Cálculo Restrito de Predicados

BR SPCLEARQ FAIA-I-IT505
Item
1966-12,

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Transformadas no Cálculo Restrito de Predicados. Anais da Academia Brasileira de Ciências. Rio de Janeiro, v. 38, n. 3/4, p. 385-390, dez. 1966.

Ayda Ignez Arruda

Boletim Informativo