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

Críticas de Smirnov à lógica de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT371
Item

Estudo de AIA intitulado Críticas de Smirnov à lógica de Vasil'év. S.l., S.d. S.ass. 1p. ms.

Ayda Ignez Arruda

Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT372
Item

Estudo de AIA intitulado Juízos sobre fatos, comparando elementos da lógica aristotélica e de Vasil'év. S.l., S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Resenha sobre Lógica e Metalógica, de N. A. Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT373
Item

Parte de Ayda Ignez Arruda

Resenha de AIA, sobre o texto Lógica e Metalógica, de N. A. Vasil'év. S.l., S.d. S.ass. 2p. ms.

Ayda Ignez Arruda

Resenha sobre Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT374
Item

Parte de Ayda Ignez Arruda

Resenha de AIA, sobre o texto Lógica Imaginária (Não-Aristotélica), de N.A. Vasil'év. S.l., S.d. S.ass. 12p. dat.

Ayda Ignez Arruda

Resumo do trabalho “N.A. Vasilév: a Forerunner of Paraconsistent Logic”

BR SPCLEARQ FAIA-PIm-V-IT375
Item

Parte de Ayda Ignez Arruda

Resumo, em inglês, do trabalho de AIA a ser apresentado no VII Congresso Internacional de Lógica, Metodologia e Filosofia da Ciência em Salzburg, intitulado "N.A. Vasilév: a Forerunner of Paraconsistent Logic". [IMECC, 1983]. S.ass. 5p. dat. cópia

Ayda Ignez Arruda

N.A. Vasilév: a forerunner of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-V-IT376
Item

Parte de Ayda Ignez Arruda

Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". Unicamp, [1983]. S.ass. 26p. dat.

Ayda Ignez Arruda

N.A. Vasilév: a forerunner of Paraconsistent Logic

BR SPCLEARQ FAIA-PIm-V-IT377
Item

Parte de Ayda Ignez Arruda

Artigo, em inglês, de AIA intitulado N.A. Vasilév: a forerunner of Paraconsistent Logic. [Unicamp, 1982] S.ass. 26p. dat.

Ayda Ignez Arruda

Estudo de AIA "N.A. Vasil'év: um precursor da lógica polivalente"

BR SPCLEARQ FAIA-PIm-V-IT378
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado "N.A. Vasil'év: um precursor da lógica polivalente". S.l., S.d. S.ass. 26p. ms.

Ayda Ignez Arruda

Estudo de AIA Relação entre lógica não-aristotélica e a geometria não-euclidiana

BR SPCLEARQ FAIA-PIm-V-IT379
Item

Parte de Ayda Ignez Arruda

Estudo de AIA intitulado Relação entre lógica não-aristotélica e a geometria não-euclidiana. S.l. S.d. S.ass. 4p. ms.

Ayda Ignez Arruda

Estudo de AIA Silogística de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT380
Item

Parte de Ayda Ignez Arruda

Estudo de AIA, intitulado Silogística de Vasil'év. S.l., S.d. S.ass. 13p. ms.

Ayda Ignez Arruda

Rascunho Sobre os cálculos de predicados de Vasil'év

BR SPCLEARQ FAIA-PIm-V-IT381
Item

Parte de Ayda Ignez Arruda

Rascunho de AIA, intitulado Sobre os cálculos de predicados de Vasil'év, contendo vários cálculos relacionados. S.l., S.d. S.ass. 5p. ms.

Ayda Ignez Arruda

Estudo Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic

BR SPCLEARQ FAIA-PIm-V-IT382
Item

Parte de Ayda Ignez Arruda

Estudo, em inglês, de AIA, intitulado Vasil’év non-aristotelian syllogistic: The first constructed system of non-classical logic. S.l., S.d. Ass. Ayda I. Arruda. 19p. ms.

Ayda Ignez Arruda

Estudo de AIA sem título

BR SPCLEARQ FAIA-PIm-V-IT383
Item

Parte de Ayda Ignez Arruda

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

Estudo de AIA sobre a silogística de Vasil'év