ReP USP - Resultado da busca

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
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: 27 nov. 2025.
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 2025 nov. 27 ]
Vancouver
Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2025 nov. 27 ]
Tese (Doutorado)
Peirces account of assertion (2016)
Iglesias, Jaime Orlando Alfaro; Cuter, Joao Vergilio Gallerani (Orientador)
Unidade: FFLCH
Subjects: FILOSOFIA DA LINGUAGEM, LÓGICA, PRAGMATISMO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IGLESIAS, Jaime Orlando Alfaro. Peirces account of assertion. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-12092016-123010/. Acesso em: 27 nov. 2025.
APA
Iglesias, J. O. A. (2016). Peirces account of assertion (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/8/8133/tde-12092016-123010/
NLM
Iglesias JOA. Peirces account of assertion [Internet]. 2016 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-12092016-123010/
Vancouver
Iglesias JOA. Peirces account of assertion [Internet]. 2016 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/8/8133/tde-12092016-123010/
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
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: 27 nov. 2025.
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 2025 nov. 27 ] 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 2025 nov. 27 ] Available from: https://doi.org/10.1080/11663081.2016.1225487
Tese (Doutorado)
Regras de inferência e teorias científicas: duas propostas de soluções-lógicos-probabilísticas para a afirmação do consequente na verificação de teorias e alguma aplicações no ensino de ciências (2016)
Gama, Leandro Daros; Zanetic, João (Orientador)
Unidade: Interunidades em Ensino de Ciências
Subjects: FÍSICA, EDUCAÇÃO, FILOSOFIA DA CIÊNCIA, LÓGICA, EPISTEMOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GAMA, Leandro Daros. Regras de inferência e teorias científicas: duas propostas de soluções-lógicos-probabilísticas para a afirmação do consequente na verificação de teorias e alguma aplicações no ensino de ciências. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/81/81131/tde-06102016-145330/. Acesso em: 27 nov. 2025.
APA
Gama, L. D. (2016). Regras de inferência e teorias científicas: duas propostas de soluções-lógicos-probabilísticas para a afirmação do consequente na verificação de teorias e alguma aplicações no ensino de ciências (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/81/81131/tde-06102016-145330/
NLM
Gama LD. Regras de inferência e teorias científicas: duas propostas de soluções-lógicos-probabilísticas para a afirmação do consequente na verificação de teorias e alguma aplicações no ensino de ciências [Internet]. 2016 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/81/81131/tde-06102016-145330/
Vancouver
Gama LD. Regras de inferência e teorias científicas: duas propostas de soluções-lógicos-probabilísticas para a afirmação do consequente na verificação de teorias e alguma aplicações no ensino de ciências [Internet]. 2016 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/81/81131/tde-06102016-145330/
Tese (Doutorado)
Revisão de crenças temporais (2016)
Oliveira, Paulo de Tarso Guerra; Wassermann, Renata (Orientador)
Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Paulo de Tarso Guerra. Revisão de crenças temporais. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/. Acesso em: 27 nov. 2025.
APA
Oliveira, P. de T. G. (2016). Revisão de crenças temporais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/
NLM
Oliveira P de TG. Revisão de crenças temporais [Internet]. 2016 ;[citado 2025 nov. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/
Vancouver
Oliveira P de TG. Revisão de crenças temporais [Internet]. 2016 ;[citado 2025 nov. 27 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20230727-113451/
Artigo de periodico-apres/intr
A festschrift for Francisco Miraglia. [Foreword] (2016)
Coniglio, Marcelo Esteban ; Mariano, Hugo Luiz ; Lopes, Vinicius Cifú
Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CONIGLIO, Marcelo Esteban e MARIANO, Hugo Luiz e LOPES, Vinicius Cifú. A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf. Acesso em: 27 nov. 2025. , 2016
APA
Coniglio, M. E., Mariano, H. L., & Lopes, V. C. (2016). A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
NLM
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
Vancouver
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects