- 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
2 resultados com objetos digitais Mostrar os resultados com objetos digitais
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Sistema DL. S.l., S.d. S.ass. 10p. ms.
Ayda Ignez Arruda
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
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
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
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
Parte deAyda Ignez Arruda
Estudo de AIA intitulado O sistema A de Ackermann. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Lógicas de conceitos inexatos. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez Arruda
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
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
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
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
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
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
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
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
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
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Matrizes. S.l., S.d. S.ass. 4p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Introdução: 3 - Matrizes. S.l., S.d. S.ass. 8p. ms.
Ayda Ignez Arruda
Parte deAyda Ignez Arruda
Estudo de AIA intitulado Independência de axiomas. S.l., S.d. S.ass. 1p. ms.
Ayda Ignez Arruda
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Capítulo II: Cálculo Proposicional. S.l., S.d. S.ass. 15p. ms.
Ayda Ignez Arruda
Parte deAyda 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
Parte deAyda Ignez Arruda
Estudo de AIA, intitulado Cálculo de predicados de ordem superior. S.l., S.d. S.ass. 6p. ms.
Ayda Ignez Arruda
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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
Parte deAyda 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