Menu

Filtros : "Logic Journal of the IGPL" "Financiamento CNPq" Limpar

Filtros

Limitar por data

  • 1

1 - 6 (6 registros)

  • Artigo de periodico

    Proving properties of binary classification neural networks via Łukasiewicz logic (2023)

    Preto, Sandro ; Finger, Marcelo

    Fonte: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

    • ABNT

      PRETO, Sandro e FINGER, Marcelo. Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, v. 31, n. 5, p. 805-821, 2023Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzac050. Acesso em: 15 nov. 2025.

    • APA

      Preto, S., & Finger, M. (2023). Proving properties of binary classification neural networks via Łukasiewicz logic. Logic Journal of the IGPL, 31( 5), 805-821. doi:10.1093/jigpal/jzac050

    • NLM

      Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzac050

    • Vancouver

      Preto S, Finger M. Proving properties of binary classification neural networks via Łukasiewicz logic [Internet]. Logic Journal of the IGPL. 2023 ; 31( 5): 805-821.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzac050

  • Artigo de periodico

    Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies (2017)

    Stern, Julio Michael

    Fonte: Logic Journal of the IGPL. Unidade: IME

    Assuntos: FILOSOFIA DA CIÊNCIA, LÓGICA

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

    • ABNT

      STERN, Julio Michael. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Logic Journal of the IGPL, v. 25, n. 4, p. 604-631, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx017. Acesso em: 15 nov. 2025.

    • APA

      Stern, J. M. (2017). Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies. Logic Journal of the IGPL, 25( 4), 604-631. doi:10.1093/jigpal/jzx017

    • NLM

      Stern JM. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 604-631.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzx017

    • Vancouver

      Stern JM. Continuous versions of Haack’s puzzles: equilibria, eigen-states and ontologies [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 604-631.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzx017

  • Artigo de periodico

    Towards automated first-order abduction: the cut-based approach (2012)

    Finger, Marcelo

    Fonte: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA DE PRIMEIRA ORDEM

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

    • ABNT

      FINGER, Marcelo. Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL, v. 20, n. 2, p. 370-387, 2012Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzq052. Acesso em: 15 nov. 2025.

    • APA

      Finger, M. (2012). Towards automated first-order abduction: the cut-based approach. Logic Journal of the IGPL, 20( 2), 370-387. doi:10.1093/jigpal/jzq052

    • NLM

      Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzq052

    • Vancouver

      Finger M. Towards automated first-order abduction: the cut-based approach [Internet]. Logic Journal of the IGPL. 2012 ; 20( 2): 370-387.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/jzq052

  • Artigo de periodico

    The unrestricted combination of temporal logic systems (2002)

    Finger, Marcelo ; Weiss, Maria Angela

    Fonte: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA

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

    • ABNT

      FINGER, Marcelo e WEISS, Maria Angela. The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, v. 10, n. 2, p. 165-189, 2002Tradução . . Disponível em: https://doi.org/10.1093/jigpal/10.2.165. Acesso em: 15 nov. 2025.

    • APA

      Finger, M., & Weiss, M. A. (2002). The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, 10( 2), 165-189. doi:10.1093/jigpal/10.2.165

    • NLM

      Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/10.2.165

    • Vancouver

      Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/10.2.165

  • Artigo de periodico

    Labelled natural deduction for substructural logics (1999)

    Broda, Krysia; Finger, Marcelo ; Russo, Alessandra

    Fonte: Logic Journal of the IGPL. Unidade: IME

    Assuntos: LÓGICA MATEMÁTICA, LÓGICA MATEMÁTICA

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

    • ABNT

      BRODA, Krysia e FINGER, Marcelo e RUSSO, Alessandra. Labelled natural deduction for substructural logics. Logic Journal of the IGPL, v. 7, n. 3, p. 283-318, 1999Tradução . . Disponível em: https://doi.org/10.1093/jigpal/7.3.283. Acesso em: 15 nov. 2025.

    • APA

      Broda, K., Finger, M., & Russo, A. (1999). Labelled natural deduction for substructural logics. Logic Journal of the IGPL, 7( 3), 283-318. doi:10.1093/jigpal/7.3.283

    • NLM

      Broda K, Finger M, Russo A. Labelled natural deduction for substructural logics [Internet]. Logic Journal of the IGPL. 1999 ; 7( 3): 283-318.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/7.3.283

    • Vancouver

      Broda K, Finger M, Russo A. Labelled natural deduction for substructural logics [Internet]. Logic Journal of the IGPL. 1999 ; 7( 3): 283-318.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/7.3.283

  • Artigo de periodico

    Parsing natural language using LDS: a prototype (1997)

    Finger, Marcelo ; Kibble, Rodger; Gabbay, Dov M; Kempson, Ruth M

    Fonte: Logic Journal of the IGPL. Unidade: IME

    Assunto: PROCESSAMENTO DE LINGUAGEM NATURAL

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

    • ABNT

      FINGER, Marcelo et al. Parsing natural language using LDS: a prototype. Logic Journal of the IGPL, v. 5, n. 5, p. 647-671, 1997Tradução . . Disponível em: https://doi.org/10.1093/jigpal/5.5.647. Acesso em: 15 nov. 2025.

    • APA

      Finger, M., Kibble, R., Gabbay, D. M., & Kempson, R. M. (1997). Parsing natural language using LDS: a prototype. Logic Journal of the IGPL, 5( 5), 647-671. doi:10.1093/jigpal/5.5.647

    • NLM

      Finger M, Kibble R, Gabbay DM, Kempson RM. Parsing natural language using LDS: a prototype [Internet]. Logic Journal of the IGPL. 1997 ; 5( 5): 647-671.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/5.5.647

    • Vancouver

      Finger M, Kibble R, Gabbay DM, Kempson RM. Parsing natural language using LDS: a prototype [Internet]. Logic Journal of the IGPL. 1997 ; 5( 5): 647-671.[citado 2025 nov. 15 ] Available from: https://doi.org/10.1093/jigpal/5.5.647
  • 1

1 - 6 (6 registros)

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