Menu

Filtros : "Brasil" "Dias, Diogo H. B." "FFLCH" Removidos: "Linguistica" "TRADUÇÃO" "Aquino, Zilda Gaspar Oliveira de" "FFLCH-FLC" "FSP" Limpar

Filtros

Limitar por data

  • 1

1 - 4 (4 registros)

  • Artigo de periodico

    Paraconsistentization and many-valued logics (2024)

    Souza, Edelcio G. de ; Costa-Leite, Alexandre ; Dias, Diogo H. B.

    Fonte: Logic journal of the IGPL. Unidade: FFLCH

    Assunto: LÓGICA PARACONSISTENTE

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

    • ABNT

      SOUZA, Edelcio G. de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. Paraconsistentization and many-valued logics. Logic journal of the IGPL, v. 32, n. 1, p. 76-93, 2024Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzac071. Acesso em: 05 out. 2024.

    • APA

      Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2024). Paraconsistentization and many-valued logics. Logic journal of the IGPL, 32( 1), 76-93. doi:10.1093/jigpal/jzac071

    • NLM

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization and many-valued logics [Internet]. Logic journal of the IGPL. 2024 ;32( 1): 76-93.[citado 2024 out. 05 ] Available from: https://doi.org/10.1093/jigpal/jzac071

    • Vancouver

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization and many-valued logics [Internet]. Logic journal of the IGPL. 2024 ;32( 1): 76-93.[citado 2024 out. 05 ] Available from: https://doi.org/10.1093/jigpal/jzac071

  • Artigo de periodico

    Paraconsistent Orbits of Logics (2021)

    Souza, Edelcio G. de ; Costa-Leite, Alexandre ; Dias, Diogo H. B.

    Fonte: Logica Universalis. Unidade: FFLCH

    Assuntos: LÓGICA PARACONSISTENTE, LÓGICA

    Acesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SOUZA, Edelcio G. de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. Paraconsistent Orbits of Logics. Logica Universalis, v. 15, p. 271–289, 2021Tradução . . Disponível em: https://biblio.fflch.usp.br/files/15970. Acesso em: 05 out. 2024.

    • APA

      Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2021). Paraconsistent Orbits of Logics. Logica Universalis, 15, 271–289. doi:10.1007/s11787-021-00284-3

    • NLM

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistent Orbits of Logics [Internet]. Logica Universalis. 2021 ; 15 271–289.[citado 2024 out. 05 ] Available from: https://biblio.fflch.usp.br/files/15970

    • Vancouver

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistent Orbits of Logics [Internet]. Logica Universalis. 2021 ; 15 271–289.[citado 2024 out. 05 ] Available from: https://biblio.fflch.usp.br/files/15970

  • Trabalho de evento-resumo

    Paraconsistentization of logics via category theory (2016)

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

    Fonte: Book of Abstracts. Nome do evento: Trends in Logic. Unidade: FFLCH

    Assuntos: LÓGICA, LÓGICA SIMBÓLICA

    Como citar
    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. Paraconsistentization of logics via category theory. 2016, Anais.. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP, 2016. . Acesso em: 05 out. 2024.

    • APA

      Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2016). Paraconsistentization of logics via category theory. In Book of Abstracts. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP.

    • NLM

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2024 out. 05 ]

    • Vancouver

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2024 out. 05 ]

  • 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.

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

    Assuntos: LÓGICA, LÓGICA SIMBÓLICA

    Acesso à fonteDOIComo citar
    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: 05 out. 2024.

    • 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 2024 out. 05 ] 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 2024 out. 05 ] Available from: https://doi.org/10.1080/11663081.2016.1225487
  • 1

1 - 4 (4 registros)

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2024