Menu

Filtros : "TEORIA DOS MODELOS" "LÓGICA ALGÉBRICA" Limpar

Filtros

Refine with date range

  • 1

1 - 2 (2 records)

  • Artigo de periodico

    Horn filter pairs and Craig interpolation in propositional logic (2023)

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

    Source: Boletin de Matematicas. Unidade: IME

    Subjects: LÓGICA ALGÉBRICA, TEORIA DOS MODELOS

    Versão PublicadaAcesso à fonteHow 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. Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, v. 30, n. 2, p. 1-5, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112563. Acesso em: 22 ago. 2024.

    • APA

      Arndt, P., Mariano, H. L., & Pinto, D. C. (2023). Horn filter pairs and Craig interpolation in propositional logic. Boletin de Matematicas, 30( 2), 1-5. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112563

    • NLM

      Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 ago. 22 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563

    • Vancouver

      Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation in propositional logic [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-5.[citado 2024 ago. 22 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112563

  • Trabalho de evento

    The downward Lowenheim-Skolem theorem for L-structures in Ω-sets (1988)

    Miraglia Neto, Francisco

    Source: Methods and applications of mathematical logic. Conference titles: Latin American Symposium of Mathematical Logic. Unidade: IME

    Subjects: LÓGICA MATEMÁTICA, TEORIA DOS MODELOS, LÓGICA ALGÉBRICA

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

    • ABNT

      MIRAGLIA NETO, Francisco. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. 1988, Anais.. Providence: Ams, 1988. Disponível em: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf. Acesso em: 22 ago. 2024.

    • APA

      Miraglia Neto, F. (1988). The downward Lowenheim-Skolem theorem for L-structures in Ω-sets. In Methods and applications of mathematical logic. Providence: Ams. Recuperado de https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf

    • NLM

      Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2024 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf

    • Vancouver

      Miraglia Neto F. The downward Lowenheim-Skolem theorem for L-structures in Ω-sets [Internet]. Methods and applications of mathematical logic. 1988 ;[citado 2024 ago. 22 ] Available from: https://repositorio.usp.br/directbitstream/e3d7890e-fd56-4e38-bdea-c0a70c338aa7/776244.pdf
  • 1

1 - 2 (2 records)

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