ReP USP - Resultado da busca

Trabalho de evento-resumo
Approximations for boolean satisfiability (2025)
Lobo, João Felipe P.; Finger, Marcelo
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: ALGORITMOS DE APROXIMAÇÃO, PROGRAMAÇÃO LINEAR, APROXIMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LOBO, João Felipe P. e FINGER, Marcelo. Approximations for boolean satisfiability. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 159-160. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Lobo, J. F. P., & Finger, M. (2025). Approximations for boolean satisfiability. In Book of abstracts (p. 159-160). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Lobo JFP, Finger M. Approximations for boolean satisfiability [Internet]. Book of abstracts. 2025 ; 159-160.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Lobo JFP, Finger M. Approximations for boolean satisfiability [Internet]. Book of abstracts. 2025 ; 159-160.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Sheaves on quantales and their truth values (2025)
Tenorio, Ana Luiza ; Mendes, Caio de Andrade ; Mariano, Hugo Luiz
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 12 fev. 2026.
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 2026 fev. 12 ] 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 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Conectando revisão de crenças e reparo de ontologias (2025)
Souza, Davy; Wassermann, Renata
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, ONTOLOGIAS, LÓGICA, REPRESENTAÇÃO DE CONHECIMENTO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Davy e WASSERMANN, Renata. Conectando revisão de crenças e reparo de ontologias. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 115-116. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Souza, D., & Wassermann, R. (2025). Conectando revisão de crenças e reparo de ontologias. In Book of abstracts (p. 115-116). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Souza D, Wassermann R. Conectando revisão de crenças e reparo de ontologias [Internet]. Book of abstracts. 2025 ; 115-116.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Souza D, Wassermann R. Conectando revisão de crenças e reparo de ontologias [Internet]. Book of abstracts. 2025 ; 115-116.[citado 2026 fev. 12 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: 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: 12 fev. 2026.
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 2026 fev. 12 ] 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 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Critical analysis of AGM postulates for ontology repair (2025)
Rocha, Anne; Lima, João Pedro de; Wassermann, Renata
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, ONTOLOGIAS, INTELIGÊNCIA ARTIFICIAL, LÓGICA, OPERADORES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Anne e LIMA, João Pedro de e WASSERMANN, Renata. Critical analysis of AGM postulates for ontology repair. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 99-100. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Rocha, A., Lima, J. P. de, & Wassermann, R. (2025). Critical analysis of AGM postulates for ontology repair. In Book of abstracts (p. 99-100). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Rocha A, Lima JP de, Wassermann R. Critical analysis of AGM postulates for ontology repair [Internet]. Book of abstracts. 2025 ; 99-100.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Gelfand-Kirillov conjecture as a first-order formula (2025)
Mariano, Hugo Luiz ; Schwarz, João Fernando
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: ÁLGEBRA ABSTRATA, GEOMETRIA ALGÉBRICA, ANÉIS E ÁLGEBRAS ASSOCIATIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e SCHWARZ, João Fernando. Gelfand-Kirillov conjecture as a first-order formula. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 147-148. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Mariano, H. L., & Schwarz, J. F. (2025). Gelfand-Kirillov conjecture as a first-order formula. In Book of abstracts (p. 147-148). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Mariano HL, Schwarz JF. Gelfand-Kirillov conjecture as a first-order formula [Internet]. Book of abstracts. 2025 ; 147-148.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Mariano HL, Schwarz JF. Gelfand-Kirillov conjecture as a first-order formula [Internet]. Book of abstracts. 2025 ; 147-148.[citado 2026 fev. 12 ] 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
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. 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 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: 12 fev. 2026.
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 2026 fev. 12 ] 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 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
A note on lattices with a symmetric difference like operation (2025)
Miraglia Neto, Francisco ; Petrovich, Alejandro
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: ÁLGEBRAS DE BOOLE, RETICULADOS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco e PETROVICH, Alejandro. A note on lattices with a symmetric difference like operation. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 25-26. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Miraglia Neto, F., & Petrovich, A. (2025). A note on lattices with a symmetric difference like operation. In Book of abstracts (p. 25-26). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Miraglia Neto F, Petrovich A. A note on lattices with a symmetric difference like operation [Internet]. Book of abstracts. 2025 ; 25-26.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Miraglia Neto F, Petrovich A. A note on lattices with a symmetric difference like operation [Internet]. Book of abstracts. 2025 ; 25-26.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
The e-value and the full bayesian significance test: logical properties and philosophical consequences (2025)
Stern, Julio Michael ; Pereira, Carlos Alberto de Bragança ; Lauretto, Marcelo de Souza ; Esteves, Luís Gustavo ; Izbicki, Rafael ; Stern, Rafael Bassi ; Diniz, Marcio A. ; Borges, Wagner de Souza
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidades: IME, EACH
Subjects: INFERÊNCIA BAYESIANA, TESTES DE HIPÓTESES, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael et al. The e-value and the full bayesian significance test: logical properties and philosophical consequences. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 70-71. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Stern, J. M., Pereira, C. A. de B., Lauretto, M. de S., Esteves, L. G., Izbicki, R., Stern, R. B., et al. (2025). The e-value and the full bayesian significance test: logical properties and philosophical consequences. In Book of abstracts (p. 70-71). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Stern JM, Pereira CA de B, Lauretto M de S, Esteves LG, Izbicki R, Stern RB, Diniz MA, Borges W de S. The e-value and the full bayesian significance test: logical properties and philosophical consequences [Internet]. Book of abstracts. 2025 ; 70-71.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Stern JM, Pereira CA de B, Lauretto M de S, Esteves LG, Izbicki R, Stern RB, Diniz MA, Borges W de S. The e-value and the full bayesian significance test: logical properties and philosophical consequences [Internet]. Book of abstracts. 2025 ; 70-71.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
First-order characterization and topological properties of Gel’fand C∞−Rings (2025)
Berni, Jean Cerqueira ; Mariano, Hugo Luiz
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: ANÉIS E ÁLGEBRAS ASSOCIATIVOS, ANÉIS ESPECIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e MARIANO, Hugo Luiz. First-order characterization and topological properties of Gel’fand C∞−Rings. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 152-153. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Berni, J. C., & Mariano, H. L. (2025). First-order characterization and topological properties of Gel’fand C∞−Rings. In Book of abstracts (p. 152-153). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Berni JC, Mariano HL. First-order characterization and topological properties of Gel’fand C∞−Rings [Internet]. Book of abstracts. 2025 ; 152-153.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Berni JC, Mariano HL. First-order characterization and topological properties of Gel’fand C∞−Rings [Internet]. Book of abstracts. 2025 ; 152-153.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields (2025)
Roberto, Kaique Matias de Andrade ; Ribeiro, Hugo Rafael de Oliveira; Santos, Kaique Ribeiro Prates ; Mariano, Hugo Luiz
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: ÁLGEBRA LINEAR, MATRIZES, ESPAÇOS VETORIAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROBERTO, Kaique Matias de Andrade et al. Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 181-183. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Roberto, K. M. de A., Ribeiro, H. R. de O., Santos, K. R. P., & Mariano, H. L. (2025). Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields. In Book of abstracts (p. 181-183). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Roberto KM de A, Ribeiro HR de O, Santos KRP, Mariano HL. Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields [Internet]. Book of abstracts. 2025 ; 181-183.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Roberto KM de A, Ribeiro HR de O, Santos KRP, Mariano HL. Linear (multi) algebra I: linear systems, matrices and vector spaces over superfields [Internet]. Book of abstracts. 2025 ; 181-183.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
On connections between forcing relations (2025)
Smykalla, Michel Viana; Mariano, Hugo Luiz
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: TEORIA DOS MODELOS, FEIXES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SMYKALLA, Michel Viana e MARIANO, Hugo Luiz. On connections between forcing relations. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 211. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Smykalla, M. V., & Mariano, H. L. (2025). On connections between forcing relations. In Book of abstracts (p. 211). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Smykalla MV, Mariano HL. On connections between forcing relations [Internet]. Book of abstracts. 2025 ; 211.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Smykalla MV, Mariano HL. On connections between forcing relations [Internet]. Book of abstracts. 2025 ; 211.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Horn semantics and Craig interpolation (2025)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: SEMÂNTICA, INTERPOLAÇÃO, 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 semantics and Craig interpolation. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 218-219. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2025). Horn semantics and Craig interpolation. In Book of abstracts (p. 218-219). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Arndt P, Mariano HL, Pinto DC. Horn semantics and Craig interpolation [Internet]. Book of abstracts. 2025 ; 218-219.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Arndt P, Mariano HL, Pinto DC. Horn semantics and Craig interpolation [Internet]. Book of abstracts. 2025 ; 218-219.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Contractions based on optimal repairs (2025)
Wassermann, Renata
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: ONTOLOGIAS, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WASSERMANN, Renata. Contractions based on optimal repairs. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 228. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Wassermann, R. (2025). Contractions based on optimal repairs. In Book of abstracts (p. 228). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Wassermann R. Contractions based on optimal repairs [Internet]. Book of abstracts. 2025 ; 228.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Wassermann R. Contractions based on optimal repairs [Internet]. Book of abstracts. 2025 ; 228.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra (2025)
Severino, Jéssica Duarte; Roberto, Kaique Matias de Andrade ; Mariano, Hugo Luiz
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: TEORIA DOS MODELOS, LÓGICA MATEMÁTICA, ÁLGEBRA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SEVERINO, Jéssica Duarte e ROBERTO, Kaique Matias de Andrade e MARIANO, Hugo Luiz. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 289-290. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Severino, J. D., Roberto, K. M. de A., & Mariano, H. L. (2025). O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra. In Book of abstracts (p. 289-290). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Severino JD, Roberto KM de A, Mariano HL. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra [Internet]. Book of abstracts. 2025 ; 289-290.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Severino JD, Roberto KM de A, Mariano HL. O teorema de Ax-Kochen e suas implicações na lógica matemática e álgebra [Internet]. Book of abstracts. 2025 ; 289-290.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Model theory of sheaves of metric spaces of analytic functions (2025)
Bianconi, Ricardo
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: TEORIA DOS MODELOS, FEIXES, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BIANCONI, Ricardo. Model theory of sheaves of metric spaces of analytic functions. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 310-311. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Bianconi, R. (2025). Model theory of sheaves of metric spaces of analytic functions. In Book of abstracts (p. 310-311). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Bianconi R. Model theory of sheaves of metric spaces of analytic functions [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Preservation of topological properties by forcing (2025)
Rocha, Vinicius Oliveira
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: ANÁLISE ESTATÍSTICA DE DADOS, TEORIA DOS CONJUNTOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ROCHA, Vinicius Oliveira. Preservation of topological properties by forcing. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 310-311. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Rocha, V. O. (2025). Preservation of topological properties by forcing. In Book of abstracts (p. 310-311). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Rocha VO. Preservation of topological properties by forcing [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Rocha VO. Preservation of topological properties by forcing [Internet]. Book of abstracts. 2025 ; 310-311.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Workshop: Logic, Conditionals and Probabilities (2025)
Bueno-Soler, Juliana; Carnielli, Walter; Stern, Julio Michael
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: RACIOCÍNIO PROBABILÍSTICO, SISTEMAS LÓGICOS CLÁSSICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BUENO-SOLER, Juliana e CARNIELLI, Walter e STERN, Julio Michael. Workshop: Logic, Conditionals and Probabilities. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 60-61. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Bueno-Soler, J., Carnielli, W., & Stern, J. M. (2025). Workshop: Logic, Conditionals and Probabilities. In Book of abstracts (p. 60-61). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Bueno-Soler J, Carnielli W, Stern JM. Workshop: Logic, Conditionals and Probabilities [Internet]. Book of abstracts. 2025 ; 60-61.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Bueno-Soler J, Carnielli W, Stern JM. Workshop: Logic, Conditionals and Probabilities [Internet]. Book of abstracts. 2025 ; 60-61.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge (2025)
Stern, Julio Michael
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: INFERÊNCIA ESTATÍSTICA, LÓGICA, ANALOGIA, HOMOLOGIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STERN, Julio Michael. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 179-180. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Stern, J. M. (2025). Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge. In Book of abstracts (p. 179-180). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Stern JM. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge [Internet]. Book of abstracts. 2025 ; 179-180.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Stern JM. Homology & archetype, analogy & prototype, hypothesis & truth as sources of knowledge [Internet]. Book of abstracts. 2025 ; 179-180.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Trabalho de evento-resumo
An application of algebraic geometry tools to intuitionistic logic (2025)
Andrade, Mayk de; Mariano, Hugo Luiz ; Amodey, Steven
Source: Book of abstracts. Conference titles: Brazilian Logic Conference - EBL 2025. Unidade: IME
Subjects: GEOMETRIA ALGÉBRICA, LÓGICA INTUICIONISTA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, Mayk de e MARIANO, Hugo Luiz e AMODEY, Steven. An application of algebraic geometry tools to intuitionistic logic. 2025, Anais.. São Paulo: Sociedade Brasileira de Lógica - SBL, 2025. p. 209-210. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 12 fev. 2026.
APA
Andrade, M. de, Mariano, H. L., & Amodey, S. (2025). An application of algebraic geometry tools to intuitionistic logic. In Book of abstracts (p. 209-210). São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Andrade M de, Mariano HL, Amodey S. An application of algebraic geometry tools to intuitionistic logic [Internet]. Book of abstracts. 2025 ; 209-210.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Andrade M de, Mariano HL, Amodey S. An application of algebraic geometry tools to intuitionistic logic [Internet]. Book of abstracts. 2025 ; 209-210.[citado 2026 fev. 12 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view

USP Schools

ReP

Filtros

Departament

Authors

USP affiliated authors

Subjects

Non normalized affiliation

Countries of institutions of collaboration