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". S.ass.
Ayda Ignez ArrudaLógica Paraconsistente
16 Descrição arquivística resultados para Lógica Paraconsistente
Anexo: Rascunho com fórmulas algébricas.
Ayda Ignez ArrudaEstudo, 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.ass. Anexo: Sumário feito por AIA, contendo tópicos relacionados com cálculo C+. 1p. ms.
Ayda Ignez ArrudaEstudo de AIA, sem título, sobre Vasil'ev e a lógica paraconsistente, indicado como Capítulo 3. S.ass.
Ayda Ignez ArrudaAnexo: Sumário feito por AIA, contendo tópicos relacionados com cálculo C+.
Ayda Ignez ArrudaArtigo, em inglês, de AIA, intitulado Os sistemas P e P*, tratando sobre algumas lógicas paraconsistentes relevantes. S.ass.
Ayda Ignez ArrudaArtigo, em inglês, de AIA intitulado N.A. Vasilév: a forerunner of Paraconsistent Logic. S.ass. Anexo diferentes versões manuscritas. 35p. ms., dat.
Ayda Ignez ArrudaArtigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". S.ass.
Ayda Ignez ArrudaArtigo, 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. S.ass.
Ayda Ignez ArrudaArtigo, em inglês, de AIA intitulado N.A. Vasilév: a forerunner of Paraconsistent Logic. S.ass.Anexo diferentes versões manuscritas. 35p. ms., dat.
Ayda Ignez Arruda