Menu

Filtros : "DIAS, DIOGO HENRIQUE BISPO" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Tese (Doutorado)

    Paraconsistentização de lógicas (2019)

    Dias, Diogo Henrique Bispo; Souza, Edelcio Gonçalves de (Orientador)

    Unidade: FFLCH

    Assunto: LÓGICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      DIAS, Diogo Henrique Bispo. Paraconsistentização de lógicas. 2019. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: https://teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/. Acesso em: 24 abr. 2026.

    • APA

      Dias, D. H. B. (2019). Paraconsistentização de lógicas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/

    • NLM

      Dias DHB. Paraconsistentização de lógicas [Internet]. 2019 ;[citado 2026 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/

    • Vancouver

      Dias DHB. Paraconsistentização de lógicas [Internet]. 2019 ;[citado 2026 abr. 24 ] Available from: https://teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/

  • Artigo de periodico

    On a paraconsistentization functor in the category of consequence structures (2016)

    Souza, Edelcio Gonçalves de ; Costa-Leite, Alexandre ; Dias, Diogo H. B.

    Source: Journal of Applied Non-Classical Logics. Unidade: FFLCH

    Subjects: LÓGICA, LÓGICA SIMBÓLICA

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SOUZA, Edelcio Gonçalves de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, v. 26, n. 3, p. 240-250, 2016Tradução . . Disponível em: https://doi.org/10.1080/11663081.2016.1225487. Acesso em: 24 abr. 2026.

    • APA

      Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2016). On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, 26( 3), 240-250. doi:10.1080/11663081.2016.1225487

    • NLM

      Souza EG de, Costa-Leite A, Dias DHB. On a paraconsistentization functor in the category of consequence structures [Internet]. Journal of Applied Non-Classical Logics. 2016 ; 26( 3): 240-250.[citado 2026 abr. 24 ] Available from: https://doi.org/10.1080/11663081.2016.1225487

    • Vancouver

      Souza EG de, Costa-Leite A, Dias DHB. On a paraconsistentization functor in the category of consequence structures [Internet]. Journal of Applied Non-Classical Logics. 2016 ; 26( 3): 240-250.[citado 2026 abr. 24 ] Available from: https://doi.org/10.1080/11663081.2016.1225487
  • 1

1 - 2 (2 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2026