Menu

Filtros : "2017" "IME" "Mariano, Hugo Luiz" Limpar

Filtros

Refine with date range

  • 1

1 - 3 (3 records)

  • Artigo de periodico

    Algebraizable logics and a functorial encoding of its morphisms (2017)

    Pinto, Darllan Conceição; Mariano, Hugo Luiz

    Source: Logic Journal of the IGPL. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, FUNDAMENTOS DA MATEMÁTICA, LÓGICA ALGÉBRICA, ÁLGEBRA HOMOLÓGICA

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

    • ABNT

      PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, v. 25, n. 4, p. 524-561, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx014. Acesso em: 09 out. 2024.

    • APA

      Pinto, D. C., & Mariano, H. L. (2017). Algebraizable logics and a functorial encoding of its morphisms. Logic Journal of the IGPL, 25( 4), 524-561. doi:10.1093/jigpal/jzx014

    • NLM

      Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2024 out. 09 ] Available from: https://doi.org/10.1093/jigpal/jzx014

    • Vancouver

      Pinto DC, Mariano HL. Algebraizable logics and a functorial encoding of its morphisms [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 524-561.[citado 2024 out. 09 ] Available from: https://doi.org/10.1093/jigpal/jzx014

  • Artigo de periodico

    Categorial forms of the axiom of choice (2017)

    Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Silva, Samuel Gomes da

    Source: Logic Journal Of The IGPL. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, TEORIA DAS CATEGORIAS, ÁLGEBRA HOMOLÓGICA, TEORIA DOS CONJUNTOS

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

    • ABNT

      BRUNNER, Andreas Bernhard Michael e MARIANO, Hugo Luiz e SILVA, Samuel Gomes da. Categorial forms of the axiom of choice. Logic Journal Of The IGPL, v. 25, n. 4, p. 408-430, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx020. Acesso em: 09 out. 2024.

    • APA

      Brunner, A. B. M., Mariano, H. L., & Silva, S. G. da. (2017). Categorial forms of the axiom of choice. Logic Journal Of The IGPL, 25( 4), 408-430. doi:10.1093/jigpal/jzx020

    • NLM

      Brunner ABM, Mariano HL, Silva SG da. Categorial forms of the axiom of choice [Internet]. Logic Journal Of The IGPL. 2017 ; 25( 4): 408-430.[citado 2024 out. 09 ] Available from: https://doi.org/10.1093/jigpal/jzx020

    • Vancouver

      Brunner ABM, Mariano HL, Silva SG da. Categorial forms of the axiom of choice [Internet]. Logic Journal Of The IGPL. 2017 ; 25( 4): 408-430.[citado 2024 out. 09 ] Available from: https://doi.org/10.1093/jigpal/jzx020

  • Artigo de periodico

    Remarks on propositional logics and the categorial relationship between institutions and Π-institutions (2017)

    Pinto, Darllan Conceição; Mariano, Hugo Luiz

    Source: South American Journal of Logic. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, v. 3, n. 1, p. 111–121, 2017Tradução . . Disponível em: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf. Acesso em: 09 out. 2024.

    • APA

      Pinto, D. C., & Mariano, H. L. (2017). Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, 3( 1), 111–121. Recuperado de http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf

    • NLM

      Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 out. 09 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf

    • Vancouver

      Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 out. 09 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
  • 1

1 - 3 (3 records)

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