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

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

BR SPCLEARQ FAIA-PIm-EL-IT428
Item

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

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

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

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

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

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

Observações sobre os sistemas NFi

BR SPCLEARQ FAIA-PIm-EL-IT416
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Observações sobre os sistemas NFi. S.l., S.d. S.ass. 10p. 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

Lógicas de conceitos inexatos

BR SPCLEARQ FAIA-PIm-EL-IT414
Item

Parte deAyda Ignez Arruda

Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. 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

Abstract da palestra Implicative Systems and Modus Ponens Rule

BR SPCLEARQ FAIA-PIm-EL-IT412
Item
1972-07

Parte deAyda Ignez Arruda

Abstract, em inglês, de AIA, da palestra intitulada Implicative Systems and Modus Ponens Rule, apresentada no II Simpósio Latino Americano de Lógica Matemática. Brasília, jul. 1972. S.ass. 1p. dat.

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

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

BR SPCLEARQ FAIA-PIm-EL-IT410
Item

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

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

Aspects of the Historical Development of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-EL-IT408
Item

Parte deAyda Ignez Arruda

Artigo, em inglês, de AIA intitulado Aspects of the Historical Development of Paraconsistent Logic. [Campinas], S.d. S.ass. 33p. dat. cópia.

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

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

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