Filtros : "LÓGICA SIMBÓLICA" Limpar

Filtros



Refine with date range


  • Source: Book of Abstracts. Conference titles: Trends in Logic. Unidade: FFLCH

    Subjects: LÓGICA, LÓGICA SIMBÓLICA

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

      SOUZA, Edelcio Gonçalves de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. Paraconsistentization of logics via category theory. 2016, Anais.. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP, 2016. . Acesso em: 29 maio 2024.
    • APA

      Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2016). Paraconsistentization of logics via category theory. In Book of Abstracts. Campinas, SP: Centro de Lógica, Epistemologia e História da Ciência - UNICAMP.
    • NLM

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2024 maio 29 ]
    • Vancouver

      Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2024 maio 29 ]
  • Source: Journal of Applied Non-Classical Logics. Unidade: FFLCH

    Subjects: LÓGICA, LÓGICA SIMBÓLICA

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

      SOUZA, Edelcio Gonçalves de e COSTA-LEITE, Alexandre e DIAS, Diogo H. B. On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, v. 26, n. 3, p. 240-250, 2016Tradução . . Disponível em: https://doi.org/10.1080/11663081.2016.1225487. Acesso em: 29 maio 2024.
    • APA

      Souza, E. G. de, Costa-Leite, A., & Dias, D. H. B. (2016). On a paraconsistentization functor in the category of consequence structures. Journal of Applied Non-Classical Logics, 26( 3), 240-250. doi:10.1080/11663081.2016.1225487
    • NLM

      Souza EG de, Costa-Leite A, Dias DHB. On a paraconsistentization functor in the category of consequence structures [Internet]. Journal of Applied Non-Classical Logics. 2016 ; 26( 3): 240-250.[citado 2024 maio 29 ] Available from: https://doi.org/10.1080/11663081.2016.1225487
    • Vancouver

      Souza EG de, Costa-Leite A, Dias DHB. On a paraconsistentization functor in the category of consequence structures [Internet]. Journal of Applied Non-Classical Logics. 2016 ; 26( 3): 240-250.[citado 2024 maio 29 ] Available from: https://doi.org/10.1080/11663081.2016.1225487
  • Source: Handbook. Conference titles: World Congress on Paraconsistency. Unidade: FFLCH

    Subjects: LÓGICA, LÓGICA SIMBÓLICA

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

      SOUZA, Edelcio Gonçalves de e COSTA-LEITE, Alexandre. On a paraconsistentization function. 2014, Anais.. Kolkata: Indian Statistical Institute, 2014. . Acesso em: 29 maio 2024.
    • APA

      Souza, E. G. de, & Costa-Leite, A. (2014). On a paraconsistentization function. In Handbook. Kolkata: Indian Statistical Institute.
    • NLM

      Souza EG de, Costa-Leite A. On a paraconsistentization function. Handbook. 2014 ;[citado 2024 maio 29 ]
    • Vancouver

      Souza EG de, Costa-Leite A. On a paraconsistentization function. Handbook. 2014 ;[citado 2024 maio 29 ]
  • Unidade: IP

    Subjects: RACIOCÍNIO, CONDICIONAMENTO, LÓGICA SIMBÓLICA, MATEMÁTICA, EMPATIA, METODOLOGIA DA PESQUISA (PSICOLOGIA)

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

      CRUZ, Marcio. Raciocínio transitivo ativado por condicionamento. 2010. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/47/47135/tde-26072010-142911/. Acesso em: 29 maio 2024.
    • APA

      Cruz, M. (2010). Raciocínio transitivo ativado por condicionamento (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/47/47135/tde-26072010-142911/
    • NLM

      Cruz M. Raciocínio transitivo ativado por condicionamento [Internet]. 2010 ;[citado 2024 maio 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/47/47135/tde-26072010-142911/
    • Vancouver

      Cruz M. Raciocínio transitivo ativado por condicionamento [Internet]. 2010 ;[citado 2024 maio 29 ] Available from: http://www.teses.usp.br/teses/disponiveis/47/47135/tde-26072010-142911/

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