Filtros : "Logic Journal of the IGPL" Limpar

Filtros



Refine with date range


  • Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: SEMIGRUPOS TOPOLÓGICOS

    Disponível em 2025-04-12Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MIRAGLIA NETO, Francisco e MARIANO, Hugo Luiz. On elementary equivalence of real semigroups of preordered rings. Logic Journal of the IGPL, 2024Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzad028. Acesso em: 23 maio 2024.
    • APA

      Miraglia Neto, F., & Mariano, H. L. (2024). On elementary equivalence of real semigroups of preordered rings. Logic Journal of the IGPL. doi:10.1093/jigpal/jzad028
    • NLM

      Miraglia Neto F, Mariano HL. On elementary equivalence of real semigroups of preordered rings [Internet]. Logic Journal of the IGPL. 2024 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzad028
    • Vancouver

      Miraglia Neto F, Mariano HL. On elementary equivalence of real semigroups of preordered rings [Internet]. Logic Journal of the IGPL. 2024 ;[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzad028
  • Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    PrivadoAcesso à fonteDOIHow to cite
    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: 23 maio 2024.
    • 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 2024 maio 23 ] 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 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzac050
  • 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: 23 maio 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 maio 23 ] 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 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzx014
  • Source: Logic Journal of the IGPL. Unidade: EACH

    Subjects: LÓGICA MATEMÁTICA, INTELIGÊNCIA ARTIFICIAL

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

      TESTA, Rafael Rodrigues e CONIGLIO, Marcelo Esteban e RIBEIRO, Marcio Moretto. AGM-like paraconsistent belief change. Logic Journal of the IGPL, v. 25, n. 4, p. 632-672, 2017Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzx010. Acesso em: 23 maio 2024.
    • APA

      Testa, R. R., Coniglio, M. E., & Ribeiro, M. M. (2017). AGM-like paraconsistent belief change. Logic Journal of the IGPL, 25( 4), 632-672. doi:10.1093/jigpal/jzx010
    • NLM

      Testa RR, Coniglio ME, Ribeiro MM. AGM-like paraconsistent belief change [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 632-672.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzx010
    • Vancouver

      Testa RR, Coniglio ME, Ribeiro MM. AGM-like paraconsistent belief change [Internet]. Logic Journal of the IGPL. 2017 ; 25( 4): 632-672.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzx010
  • Source: Logic Journal of the IGPL. Unidade: IME

    Subjects: FILOSOFIA DA CIÊNCIA, LÓGICA

    PrivadoAcesso à fonteDOIHow to cite
    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: 23 maio 2024.
    • 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 2024 maio 23 ] 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 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzx017
  • Source: Logic Journal of the IGPL. Conference titles: International Conference on Computational Intelligence in Security for Information Systems - CISIS. Unidade: ICMC

    Subjects: INTELIGÊNCIA ARTIFICIAL, SISTEMAS DE INFORMAÇÃO

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

      HERRERO, Álvaro et al. Special issue CISIS13-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/jigpal/jzv040. Acesso em: 23 maio 2024. , 2016
    • APA

      Herrero, Á., Baruque, B., Abraham, A., Carvalho, A. C. P. de L. F. de, Bringas, P. G., Quintián, H., & Corchado, E. (2016). Special issue CISIS13-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. doi:10.1093/jigpal/jzv040
    • NLM

      Herrero Á, Baruque B, Abraham A, Carvalho ACP de LF de, Bringas PG, Quintián H, Corchado E. Special issue CISIS13-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2016 ; 24( 1): 1-3.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzv040
    • Vancouver

      Herrero Á, Baruque B, Abraham A, Carvalho ACP de LF de, Bringas PG, Quintián H, Corchado E. Special issue CISIS13-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2016 ; 24( 1): 1-3.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzv040
  • Source: Logic Journal of the IGPL. Conference titles: International Conference on Hybrid Artificial Intelligent Systems - HAIS. Unidade: ICMC

    Assunto: INTELIGÊNCIA ARTIFICIAL

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

      QUINTIÁN, Héctor et al. Special issue HAIS12-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. Disponível em: https://doi.org/10.1093/jigpal/jzv010. Acesso em: 23 maio 2024. , 2015
    • APA

      Quintián, H., Corchado, E., Carvalho, A. C. P. de L. F. de, Abraham, A., Wozniak, M., Graña, M., & Sung-Bae, C. (2015). Special issue HAIS12-IGPL [Editorial]. Logic Journal of the IGPL. Oxford: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo. doi:10.1093/jigpal/jzv010
    • NLM

      Quintián H, Corchado E, Carvalho ACP de LF de, Abraham A, Wozniak M, Graña M, Sung-Bae C. Special issue HAIS12-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2015 ; 23( 3): 1-4.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzv010
    • Vancouver

      Quintián H, Corchado E, Carvalho ACP de LF de, Abraham A, Wozniak M, Graña M, Sung-Bae C. Special issue HAIS12-IGPL [Editorial] [Internet]. Logic Journal of the IGPL. 2015 ; 23( 3): 1-4.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzv010
  • Source: Logic Journal of the IGPL. Unidade: IME

    Subjects: ESTATÍSTICA, INFERÊNCIA PARAMÉTRICA, TESTES DE HIPÓTESES

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

      IZBICKI, Rafael e ESTEVES, Luis Gustavo. Logical consistency in simultaneous statistical test procedures. Logic Journal of the IGPL, v. 23, n. 5, p. 732-758, 2015Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzv027. Acesso em: 23 maio 2024.
    • APA

      Izbicki, R., & Esteves, L. G. (2015). Logical consistency in simultaneous statistical test procedures. Logic Journal of the IGPL, 23( 5), 732-758. doi:10.1093/jigpal/jzv027
    • NLM

      Izbicki R, Esteves LG. Logical consistency in simultaneous statistical test procedures [Internet]. Logic Journal of the IGPL. 2015 ; 23( 5): 732-758.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzv027
    • Vancouver

      Izbicki R, Esteves LG. Logical consistency in simultaneous statistical test procedures [Internet]. Logic Journal of the IGPL. 2015 ; 23( 5): 732-758.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzv027
  • Source: Logic Journal of the IGPL. Conference titles: Brazilian Logic Conference- Encontro Brasileiro de Lógica (EBL). Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

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

      ARRUDA, Alexandre Matos e FINGER, Marcelo. Completeness for cut-based abduction. Logic Journal of the IGPL, v. 22, n. 2, p. 286-296, 2014Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzt028. Acesso em: 23 maio 2024.
    • APA

      Arruda, A. M., & Finger, M. (2014). Completeness for cut-based abduction. Logic Journal of the IGPL, 22( 2), 286-296. doi:10.1093/jigpal/jzt028
    • NLM

      Arruda AM, Finger M. Completeness for cut-based abduction [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 286-296.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzt028
    • Vancouver

      Arruda AM, Finger M. Completeness for cut-based abduction [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 286-296.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzt028
  • Source: Logic Journal of the IGPL. Unidade: IME

    Subjects: INFERÊNCIA BAYESIANA, PROBABILIDADE, ESTATÍSTICA

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

      STERN, Julio Michael e PEREIRA, Carlos Alberto de Bragança. Bayesian epistemic values: focus on surprise, measure probability. Logic Journal of the IGPL, v. 22, n. 2, p. 236-254, 2014Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzt023. Acesso em: 23 maio 2024.
    • APA

      Stern, J. M., & Pereira, C. A. de B. (2014). Bayesian epistemic values: focus on surprise, measure probability. Logic Journal of the IGPL, 22( 2), 236-254. doi:10.1093/jigpal/jzt023
    • NLM

      Stern JM, Pereira CA de B. Bayesian epistemic values: focus on surprise, measure probability [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 236-254.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzt023
    • Vancouver

      Stern JM, Pereira CA de B. Bayesian epistemic values: focus on surprise, measure probability [Internet]. Logic Journal of the IGPL. 2014 ; 22( 2): 236-254.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzt023
  • Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA DE PRIMEIRA ORDEM

    Acesso à fonteDOIHow to cite
    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: 23 maio 2024.
    • 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 2024 maio 23 ] 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 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzq052
  • Source: Logic Journal of the IGPL. Unidade: ICMC

    Assunto: INTELIGÊNCIA ARTIFICIAL

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

      MILARÉ, Claudia Regina e BATISTA, Gustavo Enrique de Almeida Prado Alves e CARVALHO, André Carlos Ponce de Leon Ferreira de. A hybrid approach to learn with imbalanced classes using evolutionary algorithms. Logic Journal of the IGPL, v. 19, n. 2, p. 293-303, 2011Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzq027. Acesso em: 23 maio 2024.
    • APA

      Milaré, C. R., Batista, G. E. de A. P. A., & Carvalho, A. C. P. de L. F. de. (2011). A hybrid approach to learn with imbalanced classes using evolutionary algorithms. Logic Journal of the IGPL, 19( 2), 293-303. doi:10.1093/jigpal/jzq027
    • NLM

      Milaré CR, Batista GE de APA, Carvalho ACP de LF de. A hybrid approach to learn with imbalanced classes using evolutionary algorithms [Internet]. Logic Journal of the IGPL. 2011 ; 19( 2): 293-303.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzq027
    • Vancouver

      Milaré CR, Batista GE de APA, Carvalho ACP de LF de. A hybrid approach to learn with imbalanced classes using evolutionary algorithms [Internet]. Logic Journal of the IGPL. 2011 ; 19( 2): 293-303.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/jzq027
  • Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA

    Acesso à fonteDOIHow to cite
    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: 23 maio 2024.
    • 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 2024 maio 23 ] 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 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/10.2.165
  • Source: Logic Journal of the IGPL. Unidade: IME

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

    Acesso à fonteDOIHow to cite
    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: 23 maio 2024.
    • 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 2024 maio 23 ] 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 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/7.3.283
  • Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: LÓGICA

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

      FINGER, Marcelo. Towards structurally-free theorem proving. Logic Journal of the IGPL, v. 6, n. 3, p. 425-449, 1998Tradução . . Disponível em: https://doi.org/10.1093/jigpal/6.3.425. Acesso em: 23 maio 2024.
    • APA

      Finger, M. (1998). Towards structurally-free theorem proving. Logic Journal of the IGPL, 6( 3), 425-449. doi:10.1093/jigpal/6.3.425
    • NLM

      Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/6.3.425
    • Vancouver

      Finger M. Towards structurally-free theorem proving [Internet]. Logic Journal of the IGPL. 1998 ; 6( 3): 425-449.[citado 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/6.3.425
  • Source: Logic Journal of the IGPL. Unidade: IME

    Assunto: PROCESSAMENTO DE LINGUAGEM NATURAL

    Acesso à fonteDOIHow to cite
    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: 23 maio 2024.
    • 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 2024 maio 23 ] 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 2024 maio 23 ] Available from: https://doi.org/10.1093/jigpal/5.5.647

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