Menu

Filtros : "Journal of Logic and Computation" Removido: "Financiamento CNPq" Limpar

Filtros

Refine with date range

  • 1

1 - 4 (4 records)

  • Artigo de periodico

    On sheaves on semicartesian quantales and their truth values (2025)

    Tenorio, Ana Luiza ; Mendes, Caio de Andrade; Mariano, Hugo Luiz

    Source: Journal of Logic and Computation. Unidade: IME

    Subjects: TEORIA DAS CATEGORIAS, COHOMOLOGIA

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

    • ABNT

      TENORIO, Ana Luiza e MENDES, Caio de Andrade e MARIANO, Hugo Luiz. On sheaves on semicartesian quantales and their truth values. Journal of Logic and Computation, v. 35, n. 5, p. 1-32, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad081. Acesso em: 30 jun. 2025.

    • APA

      Tenorio, A. L., Mendes, C. de A., & Mariano, H. L. (2025). On sheaves on semicartesian quantales and their truth values. Journal of Logic and Computation, 35( 5), 1-32. doi:10.1093/logcom/exad081

    • NLM

      Tenorio AL, Mendes C de A, Mariano HL. On sheaves on semicartesian quantales and their truth values [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-32.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exad081

    • Vancouver

      Tenorio AL, Mendes C de A, Mariano HL. On sheaves on semicartesian quantales and their truth values [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-32.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exad081

  • Artigo de periodico

    Congruence filter pairs, equational filter pairs and adjoints (2025)

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

    Source: Journal of Logic and Computation. Unidade: IME

    Assunto: LÓGICA ALGÉBRICA

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

    • ABNT

      ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Congruence filter pairs, equational filter pairs and adjoints. Journal of Logic and Computation, v. 35, n. 5, p. 1-31, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exae002. Acesso em: 30 jun. 2025.

    • APA

      Arndt, P., Mariano, H. L., & Pinto, D. C. (2025). Congruence filter pairs, equational filter pairs and adjoints. Journal of Logic and Computation, 35( 5), 1-31. doi:10.1093/logcom/exae002

    • NLM

      Arndt P, Mariano HL, Pinto DC. Congruence filter pairs, equational filter pairs and adjoints [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-31.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exae002

    • Vancouver

      Arndt P, Mariano HL, Pinto DC. Congruence filter pairs, equational filter pairs and adjoints [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-31.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exae002

  • Artigo de periodico

    Unfriendly partitions when avoiding vertices of finite degree (2025)

    Aurichi, Leandro Fiorini ; Real, Lucas Silva Sinzato

    Source: Journal of Logic and Computation. Unidade: ICMC

    Subjects: TEORIA DOS GRAFOS, TEORIA DOS CONJUNTOS

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

    • ABNT

      AURICHI, Leandro Fiorini e REAL, Lucas Silva Sinzato. Unfriendly partitions when avoiding vertices of finite degree. Journal of Logic and Computation, v. 35, n. 5, p. 1-8, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad070. Acesso em: 30 jun. 2025.

    • APA

      Aurichi, L. F., & Real, L. S. S. (2025). Unfriendly partitions when avoiding vertices of finite degree. Journal of Logic and Computation, 35( 5), 1-8. doi:10.1093/logcom/exad070

    • NLM

      Aurichi LF, Real LSS. Unfriendly partitions when avoiding vertices of finite degree [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-8.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exad070

    • Vancouver

      Aurichi LF, Real LSS. Unfriendly partitions when avoiding vertices of finite degree [Internet]. Journal of Logic and Computation. 2025 ; 35( 5): 1-8.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exad070

  • Trabalho de evento-anais periodico

    Analytic methods for the logic of proofs (2010)

    Finger, Marcelo

    Source: Journal of Logic and Computation. Conference titles: International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 16. Unidade: IME

    Assunto: LÓGICA COMBINATÓRIA

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

    • ABNT

      FINGER, Marcelo. Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/logcom/exn065. Acesso em: 30 jun. 2025. , 2010

    • APA

      Finger, M. (2010). Analytic methods for the logic of proofs. Journal of Logic and Computation. Oxford: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1093/logcom/exn065

    • NLM

      Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exn065

    • Vancouver

      Finger M. Analytic methods for the logic of proofs [Internet]. Journal of Logic and Computation. 2010 ; 20( 1): 167-188.[citado 2025 jun. 30 ] Available from: https://doi.org/10.1093/logcom/exn065
  • 1

1 - 4 (4 records)

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