Menu

Filtros : "Souza, Edelcio Gonçalves de" Limpar

Filtros

Refine with date range

  • 1

1 - 14 (14 records)

  • Artigo de periodico

    On a first-order bi-sorted semantically closed language (2024)

    Abrahão, Fernanda Birolli ; Souza, Edelcio Gonçalves de

    Source: Studia logica. Unidade: FFLCH

    Assunto: SEMÂNTICA

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

    • ABNT

      ABRAHÃO, Fernanda Birolli e SOUZA, Edelcio Gonçalves de. On a first-order bi-sorted semantically closed language. Studia logica, p. [13 ], 2024Tradução . . Disponível em: https://doi.org/10.1007/s11225-024-10104-6. Acesso em: 12 nov. 2024.

    • APA

      Abrahão, F. B., & Souza, E. G. de. (2024). On a first-order bi-sorted semantically closed language. Studia logica, [13 ]. doi:10.1007/s11225-024-10104-6

    • NLM

      Abrahão FB, Souza EG de. On a first-order bi-sorted semantically closed language [Internet]. Studia logica. 2024 ;[13 ].[citado 2024 nov. 12 ] Available from: https://doi.org/10.1007/s11225-024-10104-6

    • Vancouver

      Abrahão FB, Souza EG de. On a first-order bi-sorted semantically closed language [Internet]. Studia logica. 2024 ;[13 ].[citado 2024 nov. 12 ] Available from: https://doi.org/10.1007/s11225-024-10104-6

  • Dissertação (Mestrado)

    Liars and circles: essays on truth, self-reference and paradoxes (2023)

    Abrahão, Fernanda Birolli; Souza, Edelcio Gonçalves de (Orientador)

    Unidade: FFLCH

    Subjects: MENTIRA, PARADOX, FILOSOFIA

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

    • ABNT

      ABRAHÃO, Fernanda Birolli. Liars and circles: essays on truth, self-reference and paradoxes. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-01122023-201646/. Acesso em: 12 nov. 2024.

    • APA

      Abrahão, F. B. (2023). Liars and circles: essays on truth, self-reference and paradoxes (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-01122023-201646/

    • NLM

      Abrahão FB. Liars and circles: essays on truth, self-reference and paradoxes [Internet]. 2023 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-01122023-201646/

    • Vancouver

      Abrahão FB. Liars and circles: essays on truth, self-reference and paradoxes [Internet]. 2023 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-01122023-201646/

  • Dissertação (Mestrado)

    Objetos imitadores: teoremas limitativos pensados a partir da computação (2022)

    Stolf, Euclides Torres Ometto; Souza, Edelcio Gonçalves de (Orientador)

    Unidade: FFLCH

    Subjects: FILOSOFIA, LÓGICA

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

    • ABNT

      STOLF, Euclides Torres Ometto. Objetos imitadores: teoremas limitativos pensados a partir da computação. 2022. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/. Acesso em: 12 nov. 2024.

    • APA

      Stolf, E. T. O. (2022). Objetos imitadores: teoremas limitativos pensados a partir da computação (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/

    • NLM

      Stolf ETO. Objetos imitadores: teoremas limitativos pensados a partir da computação [Internet]. 2022 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/

    • Vancouver

      Stolf ETO. Objetos imitadores: teoremas limitativos pensados a partir da computação [Internet]. 2022 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-18052023-151023/

  • Tese (Doutorado)

    Semantics and communication: essays on the Semantics-Pragmatics divide (2022)

    Nagase, Daniel Arvage; Souza, Edelcio Gonçalves de (Orientador)

    Unidade: FFLCH

    Subjects: COMUNICAÇÃO, PRAGMÁTICA, SEMÂNTICA

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

    • ABNT

      NAGASE, Daniel Arvage. Semantics and communication: essays on the Semantics-Pragmatics divide. 2022. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22082022-152343/. Acesso em: 12 nov. 2024.

    • APA

      Nagase, D. A. (2022). Semantics and communication: essays on the Semantics-Pragmatics divide (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22082022-152343/

    • NLM

      Nagase DA. Semantics and communication: essays on the Semantics-Pragmatics divide [Internet]. 2022 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22082022-152343/

    • Vancouver

      Nagase DA. Semantics and communication: essays on the Semantics-Pragmatics divide [Internet]. 2022 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-22082022-152343/

  • Tese (Doutorado)

    Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica (2021)

    Lima, Guilherme Messias Pereira; Souza, Edelcio Gonçalves de (Orientador)

    Unidade: FFLCH

    Subjects: LÓGICA MODAL, METAFÍSICA, SEMÂNTICA, TOPOLOGIA

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

    • ABNT

      LIMA, Guilherme Messias Pereira. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/. Acesso em: 12 nov. 2024.

    • APA

      Lima, G. M. P. (2021). Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/

    • NLM

      Lima GMP. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica [Internet]. 2021 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/

    • Vancouver

      Lima GMP. Semântica topológica para a lógica modal quantificada: sob uma perspectiva metafísica [Internet]. 2021 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04072022-164934/

  • Tese (Doutorado)

    Paraconsistentização de lógicas (2019)

    Dias, Diogo Henrique Bispo; Souza, Edelcio Gonçalves de (Orientador)

    Unidade: FFLCH

    Assunto: LÓGICA

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

    • ABNT

      DIAS, Diogo Henrique Bispo. Paraconsistentização de lógicas. 2019. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/. Acesso em: 12 nov. 2024.

    • APA

      Dias, D. H. B. (2019). Paraconsistentização de lógicas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/

    • NLM

      Dias DHB. Paraconsistentização de lógicas [Internet]. 2019 ;[citado 2024 nov. 12 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/

    • Vancouver

      Dias DHB. Paraconsistentização de lógicas [Internet]. 2019 ;[citado 2024 nov. 12 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-29052019-120802/

  • Dissertação (Mestrado)

    Neurath e a concepção semântica de verdade (2019)

    Campos, Lucas Baccarat Silva Negrão de; Souza, Edelcio Gonçalves de (Orientador)

    Unidade: FFLCH

    Subjects: SEMÂNTICA, VERDADE

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

    • ABNT

      CAMPOS, Lucas Baccarat Silva Negrão de. Neurath e a concepção semântica de verdade. 2019. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2019. Disponível em: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04122019-154008/. Acesso em: 12 nov. 2024.

    • APA

      Campos, L. B. S. N. de. (2019). Neurath e a concepção semântica de verdade (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04122019-154008/

    • NLM

      Campos LBSN de. Neurath e a concepção semântica de verdade [Internet]. 2019 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04122019-154008/

    • Vancouver

      Campos LBSN de. Neurath e a concepção semântica de verdade [Internet]. 2019 ;[citado 2024 nov. 12 ] Available from: https://www.teses.usp.br/teses/disponiveis/8/8133/tde-04122019-154008/

  • Dissertação (Mestrado)

    Teoria de Categorias: uma semântica categorial para linguagens proposicionais (2018)

    Maillard, Christian Marcel de Amorim Perret Gentil Dit; Souza, Edelcio Gonçalves de (Orientador)

    Unidade: FFLCH

    Subjects: FILOSOFIA, LÓGICA, LÓGICA MATEMÁTICA, CÁLCULO PROPOSICIONAL

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

    • ABNT

      MAILLARD, Christian Marcel de Amorim Perret Gentil Dit. Teoria de Categorias: uma semântica categorial para linguagens proposicionais. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/. Acesso em: 12 nov. 2024.

    • APA

      Maillard, C. M. de A. P. G. D. (2018). Teoria de Categorias: uma semântica categorial para linguagens proposicionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/

    • NLM

      Maillard CM de APGD. Teoria de Categorias: uma semântica categorial para linguagens proposicionais [Internet]. 2018 ;[citado 2024 nov. 12 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/

    • Vancouver

      Maillard CM de APGD. Teoria de Categorias: uma semântica categorial para linguagens proposicionais [Internet]. 2018 ;[citado 2024 nov. 12 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-15032019-114808/

  • Trabalho de evento-resumo

    Paraconsistentization of logics via category theory (2016)

    Souza, Edelcio Gonçalves de; Costa-Leite, Alexandre; Dias, Diogo H. B.

    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: 12 nov. 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 nov. 12 ]

    • Vancouver

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

  • Artigo de periodico

    On a paraconsistentization functor in the category of consequence structures (2016)

    Souza, Edelcio Gonçalves de ; Costa-Leite, Alexandre ; Dias, Diogo H. B.

    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: 12 nov. 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 nov. 12 ] 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 nov. 12 ] Available from: https://doi.org/10.1080/11663081.2016.1225487

  • Trabalho de evento-resumo

    On a paraconsistentization function (2014)

    Souza, Edelcio Gonçalves de; Costa-Leite, Alexandre

    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: 12 nov. 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 nov. 12 ]

    • Vancouver

      Souza EG de, Costa-Leite A. On a paraconsistentization function. Handbook. 2014 ;[citado 2024 nov. 12 ]

  • Artigo de periodico

    Analiticidade e protocolos interpretativos (2013)

    Souza, Edelcio Gonçalves de

    Source: Cognitio: Revista de Filosofia. Unidade: FFLCH

    Assunto: ANÁLISE (FILOSOFIA)

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

    • ABNT

      SOUZA, Edelcio Gonçalves de. Analiticidade e protocolos interpretativos. Cognitio: Revista de Filosofia, v. 14, n. 2, p. 247-254, 2013Tradução . . Disponível em: http://revistas.pucsp.br/index.php/cognitiofilosofia/article/viewFile/18376/13671. Acesso em: 12 nov. 2024.

    • APA

      Souza, E. G. de. (2013). Analiticidade e protocolos interpretativos. Cognitio: Revista de Filosofia, 14( 2), 247-254. Recuperado de http://revistas.pucsp.br/index.php/cognitiofilosofia/article/viewFile/18376/13671

    • NLM

      Souza EG de. Analiticidade e protocolos interpretativos [Internet]. Cognitio: Revista de Filosofia. 2013 ; 14( 2): 247-254.[citado 2024 nov. 12 ] Available from: http://revistas.pucsp.br/index.php/cognitiofilosofia/article/viewFile/18376/13671

    • Vancouver

      Souza EG de. Analiticidade e protocolos interpretativos [Internet]. Cognitio: Revista de Filosofia. 2013 ; 14( 2): 247-254.[citado 2024 nov. 12 ] Available from: http://revistas.pucsp.br/index.php/cognitiofilosofia/article/viewFile/18376/13671

  • Artigo de periodico

    Definability in infinitary languages and invariance by automorphims (2010)

    Rodrigues, Alexandre Augusto Martins; Miranda Filho, Ricardo Carneiro de; Souza, Edelcio Gonçalves de

    Source: Reports on Mathematical Logic. Unidade: IME

    Subjects: TEORIA DOS MODELOS, INTERPOLAÇÃO

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

    • ABNT

      RODRIGUES, Alexandre Augusto Martins e MIRANDA FILHO, Ricardo Carneiro de e SOUZA, Edelcio Gonçalves de. Definability in infinitary languages and invariance by automorphims. Reports on Mathematical Logic, v. 45, p. 119-133, 2010Tradução . . Disponível em: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf. Acesso em: 12 nov. 2024.

    • APA

      Rodrigues, A. A. M., Miranda Filho, R. C. de, & Souza, E. G. de. (2010). Definability in infinitary languages and invariance by automorphims. Reports on Mathematical Logic, 45, 119-133. Recuperado de https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf

    • NLM

      Rodrigues AAM, Miranda Filho RC de, Souza EG de. Definability in infinitary languages and invariance by automorphims [Internet]. Reports on Mathematical Logic. 2010 ; 45 119-133.[citado 2024 nov. 12 ] Available from: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf

    • Vancouver

      Rodrigues AAM, Miranda Filho RC de, Souza EG de. Definability in infinitary languages and invariance by automorphims [Internet]. Reports on Mathematical Logic. 2010 ; 45 119-133.[citado 2024 nov. 12 ] Available from: https://rml.tcs.uj.edu.pl/rml-45/05-Rodriguez.pdf

  • Artigo de periodico

    Invariance and set-theoretical operations in first order structures (2006)

    Rodrigues, Alexandre Augusto Martins; Miranda Filho, Ricardo Carneiro de; Souza, Edelcio Gonçalves de

    Source: Reports on Mathematical Logic. Unidade: IME

    Assunto: TEORIA DOS CONJUNTOS

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

    • ABNT

      RODRIGUES, Alexandre Augusto Martins e MIRANDA FILHO, Ricardo Carneiro de e SOUZA, Edelcio Gonçalves de. Invariance and set-theoretical operations in first order structures. Reports on Mathematical Logic, v. 40, p. 207-213, 2006Tradução . . Disponível em: https://rml.tcs.uj.edu.pl/rml-40/11-rodriguez.pdf. Acesso em: 12 nov. 2024.

    • APA

      Rodrigues, A. A. M., Miranda Filho, R. C. de, & Souza, E. G. de. (2006). Invariance and set-theoretical operations in first order structures. Reports on Mathematical Logic, 40, 207-213. Recuperado de https://rml.tcs.uj.edu.pl/rml-40/11-rodriguez.pdf

    • NLM

      Rodrigues AAM, Miranda Filho RC de, Souza EG de. Invariance and set-theoretical operations in first order structures [Internet]. Reports on Mathematical Logic. 2006 ; 40 207-213.[citado 2024 nov. 12 ] Available from: https://rml.tcs.uj.edu.pl/rml-40/11-rodriguez.pdf

    • Vancouver

      Rodrigues AAM, Miranda Filho RC de, Souza EG de. Invariance and set-theoretical operations in first order structures [Internet]. Reports on Mathematical Logic. 2006 ; 40 207-213.[citado 2024 nov. 12 ] Available from: https://rml.tcs.uj.edu.pl/rml-40/11-rodriguez.pdf
  • 1

1 - 14 (14 records)

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