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.
Fonte: Book of Abstracts. Nome do evento: Trends in Logic. Unidade: FFLCH
Assuntos: 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: 01 dez. 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 dez. 01 ]
Vancouver
Souza EG de, Costa-Leite A, Dias DHB. Paraconsistentization of logics via category theory. Book of Abstracts. 2016 ;[citado 2025 dez. 01 ]
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.
Fonte: Journal of Applied Non-Classical Logics. Unidade: FFLCH
Assuntos: 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: 01 dez. 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 dez. 01 ] 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 dez. 01 ] 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
Fonte: Handbook. Nome do evento: World Congress on Paraconsistency. Unidade: FFLCH
Assuntos: 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. On a paraconsistentization function. 2014, Anais.. Kolkata: Indian Statistical Institute, 2014. . Acesso em: 01 dez. 2025.
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 2025 dez. 01 ]
Vancouver
Souza EG de, Costa-Leite A. On a paraconsistentization function. Handbook. 2014 ;[citado 2025 dez. 01 ]

Unidades USP

ReP

Filtros