Lógica Paraconsistente

Área de elementos

Taxonomia

Código

Nota(s) de âmbito

    Nota(s) de fonte(s)

      Nota(s) de exibição

        Termos hierárquicos

        Lógica Paraconsistente

          Termos equivalentes

          Lógica Paraconsistente

            Termos associados

            Lógica Paraconsistente

              16 Descrição arquivística resultados para Lógica Paraconsistente

              16 resultados diretamente relacionados Excluir termos específicos
              Resumo para congresso
              BR SPCLEARQ AIA_PIm_V_IT0003 · Item · [1983]
              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". S.ass.

              Ayda Ignez Arruda
              Rascunho
              BR SPCLEARQ AIA_PIm_A_IT0005_IT0005.1 · Parte · [1981]
              Parte de Ayda Ignez Arruda

              Anexo: Rascunho com fórmulas algébricas.

              Ayda Ignez Arruda
              Estudo acadêmico
              BR SPCLEARQ AIA_PIm_SC_IT0007 · Item · s.d.
              Parte de Ayda Ignez Arruda

              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.ass. Anexo: Sumário feito por AIA, contendo tópicos relacionados com cálculo C+. 1p. ms.

              Ayda Ignez Arruda
              Estudo acadêmico
              BR SPCLEARQ AIA_PIm_V_IT0015 · Item · s.d.
              Parte de Ayda Ignez Arruda

              Estudo de AIA, sem título, sobre Vasil'ev e a lógica paraconsistente, indicado como Capítulo 3. S.ass.

              Ayda Ignez Arruda
              Estudo acadêmico
              BR SPCLEARQ AIA_PIm_SC_IT0007_IT0007.1 · Parte · s.d.
              Parte de Ayda Ignez Arruda

              Anexo: Sumário feito por AIA, contendo tópicos relacionados com cálculo C+.

              Ayda Ignez Arruda
              Artigo
              BR SPCLEARQ AIA_PIm_A_IT0011 · Item · s.d.
              Parte de Ayda Ignez Arruda

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

              Ayda Ignez Arruda
              Artigo
              BR SPCLEARQ AIA_PIm_V_IT0001_IT0001.4 · Parte · [1982]
              Parte de Ayda Ignez Arruda

              Artigo, 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
              Artigo
              BR SPCLEARQ AIA_PIm_V_IT0002 · Item · [1983]
              Parte de Ayda Ignez Arruda

              Artigo, em inglês, de AIA intitulado "N.A. Vasilév: a forerunner of Paraconsistent Logic". S.ass.

              Ayda Ignez Arruda
              Artigo
              BR SPCLEARQ AIA_PIm_A_IT0005 · Item · [1981]
              Parte de Ayda Ignez Arruda

              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. S.ass.

              Ayda Ignez Arruda
              Artigo
              BR SPCLEARQ AIA_PIm_V_IT0001 · Item · [1982]
              Parte de Ayda Ignez Arruda

              Artigo, 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