Visualizar impressão Fechar

Mostrando 743 resultados

Descrição arquivística
Ayda Ignez Arruda
Visualizar impressão Visualizar:

19 resultados com objetos digitais Exibir resultados com objetos digitais

Estudo de AIA

Estudo, em inglês, de AIA, sem título, sobre a construção de lógicas paraconsistentes adequadas para o estudo de teorias inconsistentes e incompletas. S.l., S.d. S.ass. 6p. ms.

Ayda Ignez Arruda

Carta de Luiz Paulo de Alcântara para AIA

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

Russell's Set Versus the Universal Set in Paraconsistent Set Theory

Artigo, em inglês, de AIA e Diderik Batens, intitulado Russell's Set Versus the Universal Set in Paraconsistent Set Theory, analisando as teorias paraconsistentes de Newton C.A. da Costa e de Russel. [Bélgica, 1981]. S.ass. 12p. dat. cópia.

Ayda Ignez Arruda

Silogismos Não-Aristotélicos

Artigo de AIA intitulado Silogismos Não-Aristotélicos. S.l., S.d. S.ass. 17p. dat. cópia.

Ayda Ignez Arruda

Une sémantique pour le calcul C1=

Artigo, em francês, de AIA e Newton C. A. da Costa, intitulado Une sémantique pour le calcul C1=. S.l., S.d. S.ass. 4p. dat. cópia.

Ayda Ignez Arruda

Artigo sem título

Artigo, em inglês, [de AIA], sem título, contendo os tópicos Semantics in Logic, Paradoxes, Meta-Language, Axiomatic Treatment, Definition of Semantics Concepts, Analytic Truth e Two Kinds of Meaning. S.l., S.d. S.ass. 13p. dat.

Ayda Ignez Arruda

Os sistemas P e P*,

Artigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.l., S.d. S.ass. 26p. ms.

Ayda Ignez Arruda

Estudo de AIA sem título

Estudo de AIA, sem título, contendo tópicos intitulados Teorias de primeira ordem de Vasil’év, Teoremas em teorias de primeira ordem de Vasil'év, Teoremas de completude e consistência, Teoria de modelos. S.l., S.d. S.ass. 34p. dat.

Ayda Ignez Arruda

Exibindo 91-120 de 743 resultados