ReP USP - Resultado da busca

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: 20 jun. 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 jun. 20 ] 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 jun. 20 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras (2019)
Alvim, José; Cahali, Arthur; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: ÁLGEBRAS DE BOOLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVIM, José e CAHALI, Arthur e MARIANO, Hugo Luiz. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 20 jun. 2024.
APA
Alvim, J., Cahali, A., & Mariano, H. L. (2019). Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Alvim J, Cahali A, Mariano HL. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 20 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Alvim J, Cahali A, Mariano HL. Some contributions to Boolean-valued set theory regarding arrows induced by morphisms between complete Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 20 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras (2019)
Berni, Jean Cerqueira; Mariano, Hugo Luiz
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: ÁLGEBRAS DE BOOLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e MARIANO, Hugo Luiz. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 20 jun. 2024.
APA
Berni, J. C., & Mariano, H. L. (2019). Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Berni JC, Mariano HL. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 20 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Berni JC, Mariano HL. Von Neumann regular 'C POT. ∞'-rings and applications to Boolean algebras [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 20 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Beyond the categorial forms of the axiom of choice (2019)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição; Silva, Samuel Gomes da
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - Encontro Brasileiro de Lógica (EBL). Unidade: IME
Assunto: LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. Beyond the categorial forms of the axiom of choice. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 20 jun. 2024.
APA
Brunner, A. B. M., Mariano, H. L., Pinto, D. C., & Silva, S. G. da. (2019). Beyond the categorial forms of the axiom of choice. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 20 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. Beyond the categorial forms of the axiom of choice [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 20 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Horn filter pairs and Craig interpolation property (2019)
Arndt, Peter ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
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
ARNDT, Peter e MARIANO, Hugo Luiz e PINTO, Darllan Conceição. Horn filter pairs and Craig interpolation property. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 20 jun. 2024.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2019). Horn filter pairs and Craig interpolation property. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 20 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn filter pairs and Craig interpolation property [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 20 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Trabalho de evento-resumo
Alguns apontamentos sobre multi-álgebra universal (2019)
Roberto, Kaique; 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
ROBERTO, Kaique e MARIANO, Hugo Luiz. Alguns apontamentos sobre multi-álgebra universal. 2019, Anais.. João Pessoa: EDUFCG, 2019. Disponível em: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf. Acesso em: 20 jun. 2024.
APA
Roberto, K., & Mariano, H. L. (2019). Alguns apontamentos sobre multi-álgebra universal. In Book of Abstracts. João Pessoa: EDUFCG. Recuperado de https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
NLM
Roberto K, Mariano HL. Alguns apontamentos sobre multi-álgebra universal [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 20 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf
Vancouver
Roberto K, Mariano HL. Alguns apontamentos sobre multi-álgebra universal [Internet]. Book of Abstracts. 2019 ;[citado 2024 jun. 20 ] Available from: https://ebl2019.ci.ufpb.br/assets/Book_of_Abstracts_EBL_2019.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors