ReP USP - Resultado da busca

Artigo de periodico
On sheaves on semicartesian quantales and their truth values (2025)
Tenorio, Ana Luiza ; Mendes, Caio de Andrade; Mariano, Hugo Luiz
Fonte: Journal of Logic and Computation. Unidade: IME
Assuntos: 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, v. 35, n. 5, p. 1-32, 2025Tradução . . Disponível em: https://doi.org/10.1093/logcom/exad081. Acesso em: 01 dez. 2025.
APA
Tenorio, A. L., Mendes, C. de A., & Mariano, H. L. (2025). On sheaves on semicartesian quantales and their truth values. Journal of Logic and Computation, 35( 5), 1-32. 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. 2025 ; 35( 5): 1-32.[citado 2025 dez. 01 ] 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. 2025 ; 35( 5): 1-32.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1093/logcom/exad081
Artigo de periodico
Quantale valued sets: categorical constructions and properties (2025)
Alvim, José Goudet ; Mariano, Hugo Luiz ; Mendes, Caio de Andrade
Fonte: Studia Logica. Unidade: IME
Assuntos: 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 MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Quantale valued sets: categorical constructions and properties. Studia Logica, v. 113, p. 325-378, 2025Tradução . . Disponível em: https://doi.org/10.1007/s11225-024-10138-w. Acesso em: 01 dez. 2025.
APA
Alvim, J. G., Mariano, H. L., & Mendes, C. de A. (2025). Quantale valued sets: categorical constructions and properties. Studia Logica, 113, 325-378. doi:10.1007/s11225-024-10138-w
NLM
Alvim JG, Mariano HL, Mendes C de A. Quantale valued sets: categorical constructions and properties [Internet]. Studia Logica. 2025 ; 113 325-378.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1007/s11225-024-10138-w
Vancouver
Alvim JG, Mariano HL, Mendes C de A. Quantale valued sets: categorical constructions and properties [Internet]. Studia Logica. 2025 ; 113 325-378.[citado 2025 dez. 01 ] Available from: https://doi.org/10.1007/s11225-024-10138-w
Trabalho de evento-resumo
Sheaves on quantales and their truth values (2025)
Tenorio, Ana Luiza ; Mendes, Caio de Andrade ; Mariano, Hugo Luiz
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: LÓGICA MATEMÁTICA, FEIXES, ESTRUTURAS ALGÉBRICAS ORDENADAS, TEORIA DAS CATEGORIAS
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. Sheaves on quantales and their truth values. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 90-91. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 01 dez. 2025.
APA
Tenorio, A. L., Mendes, C. de A., & Mariano, H. L. (2025). Sheaves on quantales and their truth values. In Book of abstracts (p. 90-91). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Tenorio AL, Mendes C de A, Mariano HL. Sheaves on quantales and their truth values [Internet]. Book of abstracts. 2025 ; 90-91.[citado 2025 dez. 01 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Tenorio AL, Mendes C de A, Mariano HL. Sheaves on quantales and their truth values [Internet]. Book of abstracts. 2025 ; 90-91.[citado 2025 dez. 01 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Categorical constructions of sets valued on semicartesian and involutive quantales (2025)
Alvim, José Goudet ; Mariano, Hugo Luiz ; Mendes, Caio de Andrade
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: 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 MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Categorical constructions of sets valued on semicartesian and involutive quantales. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 167-168. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 01 dez. 2025.
APA
Alvim, J. G., Mariano, H. L., & Mendes, C. de A. (2025). Categorical constructions of sets valued on semicartesian and involutive quantales. In Book of abstracts (p. 167-168). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Alvim JG, Mariano HL, Mendes C de A. Categorical constructions of sets valued on semicartesian and involutive quantales [Internet]. Book of abstracts. 2025 ; 167-168.[citado 2025 dez. 01 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Alvim JG, Mariano HL, Mendes C de A. Categorical constructions of sets valued on semicartesian and involutive quantales [Internet]. Book of abstracts. 2025 ; 167-168.[citado 2025 dez. 01 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Exploring mathematical methodology (2025)
Meleiro, Juan Ferrer ; Mariano, Hugo Luiz ; Mendes, Caio de Andrade
Fonte: Book of abstracts. Nome do evento: Brazilian Logic Conference - EBL 2025. Unidade: IME
Assuntos: MATEMÁTICA, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELEIRO, Juan Ferrer e MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Exploring mathematical methodology. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 174-175. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 01 dez. 2025.
APA
Meleiro, J. F., Mariano, H. L., & Mendes, C. de A. (2025). Exploring mathematical methodology. In Book of abstracts (p. 174-175). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Meleiro JF, Mariano HL, Mendes C de A. Exploring mathematical methodology [Internet]. Book of abstracts. 2025 ; 174-175.[citado 2025 dez. 01 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Meleiro JF, Mariano HL, Mendes C de A. Exploring mathematical methodology [Internet]. Book of abstracts. 2025 ; 174-175.[citado 2025 dez. 01 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Tese (Doutorado)
Categories of commutative semicartesian quantales valued sets (2024)
Mendes, Caio de Andrade; Mariano, Hugo Luiz (Orientador)
Unidade: IME
Assuntos: 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: 01 dez. 2025.
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 2025 dez. 01 ] 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 2025 dez. 01 ] 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
Fonte: Boletin de Matematicas. Unidade: IME
Assuntos: 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: 01 dez. 2025.
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 2025 dez. 01 ] 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 2025 dez. 01 ] Available from: https://revistas.unal.edu.co/index.php/bolma/article/view/112590
Trabalho de evento-resumo
An abstract approach to algebraizable logics with quantifiers (2018)
Mendes, Caio de Andrade; Mariano, Hugo Luiz
Fonte: Handbook of abstracts. Nome do evento: World Congress and School on Universal Logic. Unidade: IME
Assunto: 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 e MARIANO, Hugo Luiz. An abstract approach to algebraizable logics with quantifiers. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 01 dez. 2025.
APA
Mendes, C. de A., & Mariano, H. L. (2018). An abstract approach to algebraizable logics with quantifiers. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
NLM
Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2025 dez. 01 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Vancouver
Mendes C de A, Mariano HL. An abstract approach to algebraizable logics with quantifiers [Internet]. Handbook of abstracts. 2018 ;[citado 2025 dez. 01 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357
Trabalho de evento-resumo periodico
Analysing categories of signatures (2013)
Mariano, Hugo Luiz ; Mendes, Caio de Andrade
Fonte: Bulletin of Symbolic Logic. Nome do evento: Latin American Symposium on Mathematical Logic - SLALM. Unidade: IME
Assuntos: 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: 01 dez. 2025. , 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 2025 dez. 01 ] 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 2025 dez. 01 ] 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
Fonte: Book of abstracts. Nome do evento: 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: 01 dez. 2025.
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 2025 dez. 01 ] 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 2025 dez. 01 ] Available from: https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf

Unidades USP

ReP

Filtros

Ano de publicação

Assuntos

Título da fonte

País de publicação