ReP USP - Resultado da busca

Monografia/livro-ed/org
Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 (2025)
Antunes, Henrique; Fajardo, Rogério Augusto dos Santos (Editor)
Source: Book of Abstracts. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA, PESQUISA INTERDISCIPLINAR, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANTUNES, Henrique. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025. Book of Abstracts. São Paulo: Sociedade Brasileira de Lógica - SBL. Disponível em: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view. Acesso em: 27 nov. 2025. , 2025
APA
Antunes, H. (2025). Book of abstracts do XXI Brazilian Logic Conference - EBL 2025. Book of Abstracts. São Paulo: Sociedade Brasileira de Lógica - SBL. Recuperado de https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
NLM
Antunes H. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 [Internet]. Book of Abstracts. 2025 ;[citado 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Vancouver
Antunes H. Book of abstracts do XXI Brazilian Logic Conference - EBL 2025 [Internet]. Book of Abstracts. 2025 ;[citado 2025 nov. 27 ] 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: 27 nov. 2025.
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 2025 nov. 27 ] 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 2025 nov. 27 ] 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: 27 nov. 2025.
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 2025 nov. 27 ] 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 2025 nov. 27 ] Available from: https://drive.google.com/file/d/1zmpVqjr1B9_q-YAwnuWLF-lTatCdeC4i/view
Artigo de periodico-apres/intr
Proceedings of the XVIII Brazilian Logic Conference. [Preface] (2018)
Arenhart, Jonas R. Becker ; Mariano, Hugo Luiz ; Sanz, Wagner C ; Ventura, Daniel
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARENHART, Jonas R. Becker et al. Proceedings of the XVIII Brazilian Logic Conference. [Preface]. 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/01-Preface-EBL-SAJL.pdf. Acesso em: 27 nov. 2025. , 2018
APA
Arenhart, J. R. B., Mariano, H. L., Sanz, W. C., & Ventura, D. (2018). Proceedings of the XVIII Brazilian Logic Conference. [Preface]. 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/01-Preface-EBL-SAJL.pdf
NLM
Arenhart JRB, Mariano HL, Sanz WC, Ventura D. Proceedings of the XVIII Brazilian Logic Conference. [Preface] [Internet]. South American Journal of Logic. 2018 ; 4( 2): 253–256.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
Vancouver
Arenhart JRB, Mariano HL, Sanz WC, Ventura D. Proceedings of the XVIII Brazilian Logic Conference. [Preface] [Internet]. South American Journal of Logic. 2018 ; 4( 2): 253–256.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.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: 27 nov. 2025. , 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 2025 nov. 27 ] 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 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf
Artigo de periodico-apres/intr
A festschrift for Francisco Miraglia. [Foreword] (2016)
Coniglio, Marcelo Esteban ; Mariano, Hugo Luiz ; Lopes, Vinicius Cifú
Source: South American Journal of Logic. Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CONIGLIO, Marcelo Esteban e MARIANO, Hugo Luiz e LOPES, Vinicius Cifú. A festschrift for Francisco Miraglia. [Foreword]. 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-v2-i2/0F-Forward-Miraglia-SAJL.pdf. Acesso em: 27 nov. 2025. , 2016
APA
Coniglio, M. E., Mariano, H. L., & Lopes, V. C. (2016). A festschrift for Francisco Miraglia. [Foreword]. 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-v2-i2/0F-Forward-Miraglia-SAJL.pdf
NLM
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
Vancouver
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2025 nov. 27 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
Artigo de periodico
The Boolean and profinite hulls of reduced special groups (2012)
Mariano, Hugo Luiz ; Miraglia Neto, Francisco
Source: Logic Journal of IGPL. Unidade: IME
Subjects: NÚMEROS ALGÉBRICOS, TEORIA DOS MODELOS, TEORIA DAS CATEGORIAS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. The Boolean and profinite hulls of reduced special groups. Logic Journal of IGPL, v. 21, n. 2, p. 160-182, 2012Tradução . . Disponível em: https://doi.org/10.1093/jigpal/jzs013. Acesso em: 27 nov. 2025.
APA
Mariano, H. L., & Miraglia Neto, F. (2012). The Boolean and profinite hulls of reduced special groups. Logic Journal of IGPL, 21( 2), 160-182. doi:10.1093/jigpal/jzs013
NLM
Mariano HL, Miraglia Neto F. The Boolean and profinite hulls of reduced special groups [Internet]. Logic Journal of IGPL. 2012 ; 21( 2): 160-182.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/jigpal/jzs013
Vancouver
Mariano HL, Miraglia Neto F. The Boolean and profinite hulls of reduced special groups [Internet]. Logic Journal of IGPL. 2012 ; 21( 2): 160-182.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/jigpal/jzs013
Artigo de periodico
The profinite hull of special groups and local-global principles (2011)
Mariano, Hugo Luiz ; Miraglia Neto, Francisco
Source: Studia Logica. Unidade: IME
Subjects: TEORIA DOS MODELOS, NÚMEROS ALGÉBRICOS, GEOMETRIA ALGÉBRICA REAL, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. The profinite hull of special groups and local-global principles. Studia Logica, v. 97, n. 1, p. 127-160, 2011Tradução . . Disponível em: https://doi.org/10.1007/s11225-010-9301-3. Acesso em: 27 nov. 2025.
APA
Mariano, H. L., & Miraglia Neto, F. (2011). The profinite hull of special groups and local-global principles. Studia Logica, 97( 1), 127-160. doi:10.1007/s11225-010-9301-3
NLM
Mariano HL, Miraglia Neto F. The profinite hull of special groups and local-global principles [Internet]. Studia Logica. 2011 ; 97( 1): 127-160.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s11225-010-9301-3
Vancouver
Mariano HL, Miraglia Neto F. The profinite hull of special groups and local-global principles [Internet]. Studia Logica. 2011 ; 97( 1): 127-160.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/s11225-010-9301-3
Artigo de periodico
On the category of algebraizable logics (2006)
Arndt, Peter ; Freire, R. A.; Luciano, Odilon Otavio; Mariano, Hugo Luiz
Source: CLE E-Prints. Unidade: IME
Subjects: TEORIA DAS CATEGORIAS, LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARNDT, Peter et al. On the category of algebraizable logics. CLE E-Prints, v. 6, n. 1, p. 1-24, 2006Tradução . . Disponível em: https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/issue/view/149. Acesso em: 27 nov. 2025.
APA
Arndt, P., Freire, R. A., Luciano, O. O., & Mariano, H. L. (2006). On the category of algebraizable logics. CLE E-Prints, 6( 1), 1-24. Recuperado de https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/issue/view/149
NLM
Arndt P, Freire RA, Luciano OO, Mariano HL. On the category of algebraizable logics [Internet]. CLE E-Prints. 2006 ; 6( 1): 1-24.[citado 2025 nov. 27 ] Available from: https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/issue/view/149
Vancouver
Arndt P, Freire RA, Luciano OO, Mariano HL. On the category of algebraizable logics [Internet]. CLE E-Prints. 2006 ; 6( 1): 1-24.[citado 2025 nov. 27 ] Available from: https://www.cle.unicamp.br/eprints/index.php/CLE_e-Prints/issue/view/149
Artigo de periodico
Completeness of certain bimodal logics for subset spaces (2002)
Weiss, Maria Angela ; Parikh, Rohit J.
Source: Studia Logica. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WEISS, Maria Angela e PARIKH, Rohit J. Completeness of certain bimodal logics for subset spaces. Studia Logica, v. 71, n. 1, p. 1-30, 2002Tradução . . Disponível em: https://doi.org/10.1023/A:1016372523344. Acesso em: 27 nov. 2025.
APA
Weiss, M. A., & Parikh, R. J. (2002). Completeness of certain bimodal logics for subset spaces. Studia Logica, 71( 1), 1-30. doi:10.1023/A:1016372523344
NLM
Weiss MA, Parikh RJ. Completeness of certain bimodal logics for subset spaces [Internet]. Studia Logica. 2002 ; 71( 1): 1-30.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1023/A:1016372523344
Vancouver
Weiss MA, Parikh RJ. Completeness of certain bimodal logics for subset spaces [Internet]. Studia Logica. 2002 ; 71( 1): 1-30.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1023/A:1016372523344
Artigo de periodico
The unrestricted combination of temporal logic systems (2002)
Finger, Marcelo ; Weiss, Maria Angela
Source: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WEISS, Maria Angela. The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, v. 10, n. 2, p. 165-189, 2002Tradução . . Disponível em: https://doi.org/10.1093/jigpal/10.2.165. Acesso em: 27 nov. 2025.
APA
Finger, M., & Weiss, M. A. (2002). The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, 10( 2), 165-189. doi:10.1093/jigpal/10.2.165
NLM
Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/jigpal/10.2.165
Vancouver
Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1093/jigpal/10.2.165

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects

Source title

Non normalized affiliation