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

Relevance Logic and the Schema of Separation

BR SPCLEARQ FAIA-PIm-EL-IT418
Item

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

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

Ayda Ignez Arruda

Cálculos Implicativos Gerais

BR SPCLEARQ FAIA-PIm-EL-IT409
Item

Parte de Ayda 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 de Ayda 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 de Ayda 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 de Ayda 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

BR SPCLEARQ FAIA-PIm-CP-IT405
Item

Parte de Ayda 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

Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT404
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Introdução: 3 – Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT403
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Independência de axiomas

BR SPCLEARQ FAIA-PIm-CP-IT402
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.

Ayda Ignez Arruda

Função de verdade e matrizes

BR SPCLEARQ FAIA-PIm-CP-IT401
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Função de verdade e 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 de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Decidibilidade do cálculo implicativo clássico

BR SPCLEARQ FAIA-PIm-CP-IT399
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Capítulo I: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT397
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Capítulo II: Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT398
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Cálculo Proposicional

BR SPCLEARQ FAIA-PIm-CP-IT396
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Cálculo de predicados de ordem superior

BR SPCLEARQ FAIA-PIm-CP-IT395
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.

Ayda Ignez Arruda

Aplicação de Matrizes

BR SPCLEARQ FAIA-PIm-CP-IT394
Item

Parte de Ayda Ignez Arruda

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

Ayda Ignez Arruda

Carta de Luiz Paulo de Alcântara para AIA

BR SPCLEARQ FAIA-C-Cp-IT307
Item
? - 1982-09-27

Parte de Ayda Ignez Arruda

Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.

Ayda Ignez Arruda

Carta de Maria da Graça Rodrigues

BR SPCLEARQ FAIA-C-Cp-IT312
Item

Parte de Ayda 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 Luiz Paulo de Alcântara para AIA

BR SPCLEARQ FAIA-C-Cp-IT307
Item
? - 1982-09-27

Parte de Ayda Ignez Arruda

Carta de Luiz Paulo de Alcântara para AIA, comunicando a realização do VI Encontro Brasileiro de Lógica e convidando-a para participar. Campinas, 27 set. 1982. Ass.: L.P. de Alcântara. 1p. dat.

Ayda Ignez Arruda

Carta de J.C. Kuipers para AIA

BR SPCLEARQ FAIA-C-Cp-IT284
Item
1982-07-23

Parte de Ayda Ignez Arruda

Carta, em inglês, de J.C. Kuipers para AIA, agradecendo e solicitando maiores informações sobre o livro ?Paraconsistent Logic?. Dordrecht, 23 jul. 1982. Ass.: J.C. Kuipers. 1p. dat.

Ayda Ignez Arruda

Carta de Cecylia Rauszer para AIA

BR SPCLEARQ FAIA-C-Cp-IT265
Item
1982-11-15

Parte de Ayda Ignez Arruda

Carta, em inglês, de Cecylia Rauszer para AIA, lamentando sobre o estado de saúde de AIA e informando sobre sua visita ao Brasil. Warsaw, 15 nov. 1982. Ass.: Cecylia. 1p. dat.

Ayda Ignez Arruda

Limite seus resultados por:

Idioma

Produtor

Nome

Local

Assunto

Mostrando 229 resultados