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

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

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

Une sémantique pour le calcul C1=. C.R

BR SPCLEARQ FAIA-I-IT506
Item
1977-01-31

Parte deAyda Ignez Arruda

ARRUDA, Ayda Ignez; COSTA, Newton Carneiro Affonso da. Une sémantique pour le calcul C1=. C.R. Acad. Sc. Paris, Paris, t. 284, p. 279 ? 281, 31 jan. 1977.

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

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

Termo de outorga e aceitação

BR SPCLEARQ FAIA-AA-Fapesp-DJK-IT050
Item

Parte deAyda Ignez Arruda

Termo de outorga e aceitação de auxílio Fapesp do projeto de contratação do professor Jerzy Kotas como professor visitante, registrado como processo n° 78/1294, concedido a AIA. Ass.: Ayda Ignez Arruda

Termo de outorga

BR SPCLEARQ FAIA-AA-Fapesp-DAIA-IT039
Item

Parte deAyda Ignez Arruda

Termo de outorga e aceitação de auxílio Fapesp do projeto VI Encontro Brasileiro de Lógica, registrado como Processo 2/1543-8, concedido a AIA. Ass.: Ayda Ignez Arruda

Termo de outorga

BR SPCLEARQ FAIA-AA-Fapesp-DAS-IT038
Item

Parte deAyda Ignez Arruda

Termo de outorga e aceitação de auxílio Fapesp do projeto Aquisição de Separatas registrado como Processo n° 80/0978-5, concedido a AIA.

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

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

Teorema da Dedução para Teorias de Primeira Ordem

BR SPCLEARQ FAIA-PIm-EL-IT426
Item

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.

Ayda Ignez Arruda

Telex de Carlos Di Prisco para AIA

BR SPCLEARQ FAIA-C-Cp-IT260
Item

Parte deAyda Ignez Arruda

Telex, em espanhol, de Carlos Di Prisco para AIA, informando o envio de passagens aéreas. Caracas, S.d. S.ass. 1p. dat.

Ayda Ignez Arruda

Telex de Carlos Di Prisco para AIA

BR SPCLEARQ FAIA-C-Cp-IT257
Item
1983-02-01

Parte deAyda Ignez Arruda

Telex, em espanhol, de Carlos Di Prisco para AIA, comunicando possibilidades de obter financiamento para viagem e solicitando outras informações. Caracas, 01 fev. 1983. 1p. dat.

Ayda Ignez Arruda

Telex de AIA ao professor Richard Routley

BR SPCLEARQ FAIA-C-Ca-IT232
Item
1983-01-19

Parte deAyda Ignez Arruda

Telex, em inglês, de AIA a Richard Routley aprovando a publicação de seu artigo. IMECC, 19 jan. 1983. S.ass. 1p. dat.

Ayda Ignez Arruda

Telex de AIA

BR SPCLEARQ FAIA-AA-DCS-IT107
Item
1983-02-23

Parte deAyda Ignez Arruda

Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda

Ayda Ignez Arruda

Telex de AIA

BR SPCLEARQ FAIA-AA-DCS-IT107
Item
1983-02-23

Parte deAyda Ignez Arruda

Telex de AIA para Paul Weingartner comunicando não ter recebido o convite oficial. Ass.: Ayda Ignez Arruda

Ayda Ignez Arruda

Sur une hiérarchies de systèmes formels

BR SPCLEARQ FAIA-I-IT504
Item
1964-11-02

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur une hiérarchies de systèmes formels. C.R. Acad. Sc. Paris, Paris, t. 259, p. 2943-2945, 2 nov. 1964.

Ayda Ignez Arruda

Sur un Théorème de Hilbert et Bernays

BR SPCLEARQ FAIA-I-IT503
Item
1964-06-29

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur un Théorème de Hilbert et Bernays. Acad. S.c. Paris, Paris, t. 258, p. 6311-6312, 29 jun. 1964.

Ayda Ignez Arruda

Sur le schèma de la sèparation

BR SPCLEARQ FAIA-I-IT502
Item
1970-03

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; COSTA, Newton C.A. da. Sur le schèma de la sèparation. Nagoya Mathematical Journal, v.38, p. 71-84, mar. 1970.

Ayda Ignez Arruda

Sur l’ensemble R dans NFw

BR SPCLEARQ FAIA-PIm-EL-IT425
Item

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.

Ayda Ignez Arruda

Some remarks on the logic of vagueness

BR SPCLEARQ FAIA-I-IT494
Item

Parte deAyda Ignez Arruda

ARRUDA, Ayda I.; ALVES, Elias H. Some remarks on the logic of vagueness. s.l., p. 133 ? 138, s.d.

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

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

Sobre a regra do Modus Ponens

BR SPCLEARQ FAIA-PIm-EL-IT422
Item

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

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

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

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

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

Relatório científico

BR SPCLEARQ FAIA-AA-Fapesp-DJK-IT057
Item

Parte deAyda Ignez Arruda

Relatório científico de AIA relativo à visita do professor Jerzy Kotas.

Limite seus resultados por:

Idioma

Parte de

Nome

Local

Assunto

Mostrando 261 resultados