ReP USP - Resultado da busca

Artigo de periodico
On sheaves on semicartesian quantales and their truth values (2024)
Tenorio, Ana Luiza ; Mendes, Caio de Andrade; Mariano, Hugo Luiz
Source: Journal of Logic and Computation. Unidade: IME
Subjects: TEORIA DAS CATEGORIAS, COHOMOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TENORIO, Ana Luiza e MENDES, Caio de Andrade e MARIANO, Hugo Luiz. On sheaves on semicartesian quantales and their truth values. Journal of Logic and Computation, 2024Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad081. Acesso em: 29 set. 2024.
APA
Tenorio, A. L., Mendes, C. de A., & Mariano, H. L. (2024). On sheaves on semicartesian quantales and their truth values. Journal of Logic and Computation. doi:10.1093/logcom/exad081
NLM
Tenorio AL, Mendes C de A, Mariano HL. On sheaves on semicartesian quantales and their truth values [Internet]. Journal of Logic and Computation. 2024 ;[citado 2024 set. 29 ] Available from: https://doi.org/10.1093/logcom/exad081
Vancouver
Tenorio AL, Mendes C de A, Mariano HL. On sheaves on semicartesian quantales and their truth values [Internet]. Journal of Logic and Computation. 2024 ;[citado 2024 set. 29 ] Available from: https://doi.org/10.1093/logcom/exad081
Tese (Doutorado)
Categories of commutative semicartesian quantales valued sets (2024)
Mendes, Caio de Andrade; Mariano, Hugo Luiz (Orientador)
Unidade: IME
Subjects: LÓGICA, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio de Andrade. Categories of commutative semicartesian quantales valued sets. 2024. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2024. Disponível em: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/. Acesso em: 29 set. 2024.
APA
Mendes, C. de A. (2024). Categories of commutative semicartesian quantales valued sets (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
NLM
Mendes C de A. Categories of commutative semicartesian quantales valued sets [Internet]. 2024 ;[citado 2024 set. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
Vancouver
Mendes C de A. Categories of commutative semicartesian quantales valued sets [Internet]. 2024 ;[citado 2024 set. 29 ] Available from: https://www.teses.usp.br/teses/disponiveis/45/45131/tde-16082024-205616/
Artigo de periodico
On categories of quantale valued sets (2023)
Alvim, José Goudet ; Mendes, Caio de Andrade; Mariano, Hugo Luiz
Source: Boletin de Matematicas. Unidade: IME
Subjects: TEORIA DAS CATEGORIAS, CATEGORIAS TOPOLÓGICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVIM, José Goudet e MENDES, Caio de Andrade e MARIANO, Hugo Luiz. On categories of quantale valued sets. Boletin de Matematicas, v. 30, n. 2, p. 1-7, 2023Tradução . . Disponível em: https://revistas.unal.edu.co/index.php/bolma/article/view/112590. Acesso em: 29 set. 2024.
APA
Alvim, J. G., Mendes, C. de A., & Mariano, H. L. (2023). On categories of quantale valued sets. Boletin de Matematicas, 30( 2), 1-7. Recuperado de https://revistas.unal.edu.co/index.php/bolma/article/view/112590
NLM
Alvim JG, Mendes C de A, Mariano HL. On categories of quantale valued sets [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-7.[citado 2024 set. 29 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112590
Vancouver
Alvim JG, Mendes C de A, Mariano HL. On categories of quantale valued sets [Internet]. Boletin de Matematicas. 2023 ; 30( 2): 1-7.[citado 2024 set. 29 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112590
Trabalho de evento-resumo
Algebraizing higher-order logics (2019)
Mendes, Caio; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio e MARIANO, Hugo Luiz. Algebraizing higher-order logics. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 29 set. 2024.
APA
Mendes, C., & Mariano, H. L. (2019). Algebraizing higher-order logics. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2024 set. 29 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Mendes C, Mariano HL. Algebraizing higher-order logics [Internet]. Book of Abstracts. 2019 ;[citado 2024 set. 29 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-anais periodico
Analyzing categories of signatures (2018)
Mendes, Caio A; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MENDES, Caio A e MARIANO, Hugo Luiz. Analyzing categories of signatures. 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-v4-i2/08-Mendes-Mariano-SAJL.pdf. Acesso em: 29 set. 2024. , 2018
APA
Mendes, C. A., & Mariano, H. L. (2018). Analyzing categories of signatures. 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-v4-i2/08-Mendes-Mariano-SAJL.pdf
NLM
Mendes CA, Mariano HL. Analyzing categories of signatures [Internet]. South American Journal of Logic. 2018 ; 4( 2): 407-421.[citado 2024 set. 29 ] Available from: http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf
Vancouver
Mendes CA, Mariano HL. Analyzing categories of signatures [Internet]. South American Journal of Logic. 2018 ; 4( 2): 407-421.[citado 2024 set. 29 ] Available from: http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf
Trabalho de evento-resumo periodico
Analysing categories of signatures (2013)
Mariano, Hugo Luiz ; Mendes, Caio de Andrade
Source: Bulletin of Symbolic Logic. Conference titles: Latin American Symposium on Mathematical Logic - SLALM. Unidade: IME
Subjects: LÓGICA MATEMÁTICA, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Analysing categories of signatures. Bulletin of Symbolic Logic. New York: Cambridge University Press. Disponível em: https://doi.org/10.1017/S1079898600010738. Acesso em: 29 set. 2024. , 2013
APA
Mariano, H. L., & Mendes, C. de A. (2013). Analysing categories of signatures. Bulletin of Symbolic Logic. New York: Cambridge University Press. doi:10.1017/S1079898600010738
NLM
Mariano HL, Mendes C de A. Analysing categories of signatures [Internet]. Bulletin of Symbolic Logic. 2013 ;[citado 2024 set. 29 ] Available from: https://doi.org/10.1017/S1079898600010738
Vancouver
Mariano HL, Mendes C de A. Analysing categories of signatures [Internet]. Bulletin of Symbolic Logic. 2013 ;[citado 2024 set. 29 ] Available from: https://doi.org/10.1017/S1079898600010738
Trabalho de evento-resumo
Towards a good notion of categories of logics (2011)
Mariano, Hugo Luiz ; Mendes, Caio de Andrade
Source: Book of abstracts. Conference titles: International Conference on Topology, Algebra, and Categories in Logic - TACL. Unidade: IME
Assunto: TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Towards a good notion of categories of logics. 2011, Anais.. Marseille: Laboratoire d’Informatique Fondamentale de Marseille - LIF-UMR, 2011. Disponível em: https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf. Acesso em: 29 set. 2024.
APA
Mariano, H. L., & Mendes, C. de A. (2011). Towards a good notion of categories of logics. In Book of abstracts. Marseille: Laboratoire d’Informatique Fondamentale de Marseille - LIF-UMR. Recuperado de https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf
NLM
Mariano HL, Mendes C de A. Towards a good notion of categories of logics [Internet]. Book of abstracts. 2011 ;[citado 2024 set. 29 ] Available from: https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf
Vancouver
Mariano HL, Mendes C de A. Towards a good notion of categories of logics [Internet]. Book of abstracts. 2011 ;[citado 2024 set. 29 ] Available from: https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf

USP Schools

ReP

Filtros

Authors

Date published

Subjects

Source title