ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings (2018)
Figueiredo, Rodrigo; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - 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
FIGUEIREDO, Rodrigo e MARIANO, Hugo Luiz. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings. 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/06-Figueiredo-Mariano-SAJL.pdf. Acesso em: 23 abr. 2024. , 2018
APA
Figueiredo, R., & Mariano, H. L. (2018). Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings. 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/06-Figueiredo-Mariano-SAJL.pdf
NLM
Figueiredo R, Mariano HL. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 373-383.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/06-Figueiredo-Mariano-SAJL.pdf
Vancouver
Figueiredo R, Mariano HL. Remarks on expansions of the real field: Tameness, Hardy fields and smooth rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 373-383.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/06-Figueiredo-Mariano-SAJL.pdf
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: 23 abr. 2024. , 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 2024 abr. 23 ] 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 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
Trabalho de evento-anais periodico
On the uncomputability of partial meet contraction for linear-time temporal logic (2018)
Guerra, Paulo T; Wassermann, Renata
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA, COMPUTABILIDADE E COMPLEXIDADE, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. On the uncomputability of partial meet contraction for linear-time temporal logic. 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/07-Guerra-Wassermann-SAJL.pdf. Acesso em: 23 abr. 2024. , 2018
APA
Guerra, P. T., & Wassermann, R. (2018). On the uncomputability of partial meet contraction for linear-time temporal logic. 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/07-Guerra-Wassermann-SAJL.pdf
NLM
Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
Vancouver
Guerra PT, Wassermann R. On the uncomputability of partial meet contraction for linear-time temporal logic [Internet]. South American Journal of Logic. 2018 ; 4( 2): 385-406.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/07-Guerra-Wassermann-SAJL.pdf
Trabalho de evento-anais periodico
On the order theory of C-infinity-reduced C-infinity-rings and applications (2022)
Berni, Jean Cerqueira ; Figueiredo, Rodrigo ; Mariano, Hugo Luiz
Source: Journal of Applied Logics - IFCOLOG Journal of Lofics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: ANÉIS E ÁLGEBRAS ASSOCIATIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e FIGUEIREDO, Rodrigo e MARIANO, Hugo Luiz. On the order theory of C-infinity-reduced C-infinity-rings and applications. Journal of Applied Logics - IFCOLOG Journal of Lofics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf. Acesso em: 23 abr. 2024. , 2022
APA
Berni, J. C., Figueiredo, R., & Mariano, H. L. (2022). On the order theory of C-infinity-reduced C-infinity-rings and applications. Journal of Applied Logics - IFCOLOG Journal of Lofics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
NLM
Berni JC, Figueiredo R, Mariano HL. On the order theory of C-infinity-reduced C-infinity-rings and applications [Internet]. Journal of Applied Logics - IFCOLOG Journal of Lofics and their Applications. 2022 ; 9( 1): 93-134.[citado 2024 abr. 23 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
Vancouver
Berni JC, Figueiredo R, Mariano HL. On the order theory of C-infinity-reduced C-infinity-rings and applications [Internet]. Journal of Applied Logics - IFCOLOG Journal of Lofics and their Applications. 2022 ; 9( 1): 93-134.[citado 2024 abr. 23 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
Trabalho de evento-anais periodico
On rings of fractions of reduced f-rings by non zero-divisors (2018)
Miraglia Neto, Francisco
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: ANÉIS E ÁLGEBRAS COMUTATIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIRAGLIA NETO, Francisco. On rings of fractions of reduced f-rings by non zero-divisors. 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/09-Miraglia-SAJL.pdf. Acesso em: 23 abr. 2024. , 2018
APA
Miraglia Neto, F. (2018). On rings of fractions of reduced f-rings by non zero-divisors. 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/09-Miraglia-SAJL.pdf
NLM
Miraglia Neto F. On rings of fractions of reduced f-rings by non zero-divisors [Internet]. South American Journal of Logic. 2018 ; 4( 2): 423-440.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/09-Miraglia-SAJL.pdf
Vancouver
Miraglia Neto F. On rings of fractions of reduced f-rings by non zero-divisors [Internet]. South American Journal of Logic. 2018 ; 4( 2): 423-440.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/09-Miraglia-SAJL.pdf
Trabalho de evento-anais periodico
More on categorial forms of the axiom of choice (2018)
Brunner, Andreas Bernhard Michael ; Mariano, Hugo Luiz ; Pinto, Darllan Conceição; Silva, Samuel G. da
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: TEORIA DOS CONJUNTOS, TEORIA DAS CATEGORIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRUNNER, Andreas Bernhard Michael et al. More on categorial forms of the axiom of choice. 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/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf. Acesso em: 23 abr. 2024. , 2018
APA
Brunner, A. B. M., Mariano, H. L., Pinto, D. C., & Silva, S. G. da. (2018). More on categorial forms of the axiom of choice. 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/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf
NLM
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. More on categorial forms of the axiom of choice [Internet]. South American Journal of Logic. 2018 ; 4( 2): 351–372.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf
Vancouver
Brunner ABM, Mariano HL, Pinto DC, Silva SG da. More on categorial forms of the axiom of choice [Internet]. South American Journal of Logic. 2018 ; 4( 2): 351–372.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%20Silva-SAJL.pdf
Trabalho de evento-anais periodico
Induced morphisms between Heyting-valued models (2022)
Alvim, José Goudet ; Cahali, Arthur Francisco Schwerz ; Mariano, Hugo Luiz
Source: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: MATEMÁTICA APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVIM, José Goudet e CAHALI, Arthur Francisco Schwerz e MARIANO, Hugo Luiz. Induced morphisms between Heyting-valued models. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://collegepublications.co.uk/ifcolog/?00053. Acesso em: 23 abr. 2024. , 2022
APA
Alvim, J. G., Cahali, A. F. S., & Mariano, H. L. (2022). Induced morphisms between Heyting-valued models. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://collegepublications.co.uk/ifcolog/?00053
NLM
Alvim JG, Cahali AFS, Mariano HL. Induced morphisms between Heyting-valued models [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 5-40.[citado 2024 abr. 23 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
Vancouver
Alvim JG, Cahali AFS, Mariano HL. Induced morphisms between Heyting-valued models [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 5-40.[citado 2024 abr. 23 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
Trabalho de evento-anais periodico
Horn-geometric axioms for faithfully quadratic rings (2022)
Ribeiro, Hugo Rafael de Oliveira; Mariano, Hugo Luiz
Source: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: ANÉIS, FORMAS QUADRÁTICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RIBEIRO, Hugo Rafael de Oliveira e MARIANO, Hugo Luiz. Horn-geometric axioms for faithfully quadratic rings. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf. Acesso em: 23 abr. 2024. , 2022
APA
Ribeiro, H. R. de O., & Mariano, H. L. (2022). Horn-geometric axioms for faithfully quadratic rings. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
NLM
Ribeiro HR de O, Mariano HL. Horn-geometric axioms for faithfully quadratic rings [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 405-418.[citado 2024 abr. 23 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
Vancouver
Ribeiro HR de O, Mariano HL. Horn-geometric axioms for faithfully quadratic rings [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 405-418.[citado 2024 abr. 23 ] Available from: http://www.collegepublications.co.uk/downloads/ifcolog00053.pdf
Trabalho de evento-anais periodico
Finitary filter pairs and propositional logics (2018)
Arndt, Peter; Mariano, Hugo Luiz ; Pinto, Darllan Conceição
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: LÓGICA ALGÉBRICA, TEORIA DAS CATEGORIAS
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. Finitary filter pairs and propositional logics. 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/02-Arndt-Mariano-Pinto-SAJL.pdf. Acesso em: 23 abr. 2024. , 2018
APA
Arndt, P., Mariano, H. L., & Pinto, D. C. (2018). Finitary filter pairs and propositional logics. 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/02-Arndt-Mariano-Pinto-SAJL.pdf
NLM
Arndt P, Mariano HL, Pinto DC. Finitary filter pairs and propositional logics [Internet]. South American Journal of Logic. 2018 ; 4( 2): 257–280.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
Vancouver
Arndt P, Mariano HL, Pinto DC. Finitary filter pairs and propositional logics [Internet]. South American Journal of Logic. 2018 ; 4( 2): 257–280.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
Trabalho de evento-anais periodico
Classifying toposes for some theories of 'C POT. ∞'−rings (2018)
Berni, Jean Cerqueira ; Mariano, Hugo Luiz
Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: ANÉIS E ÁLGEBRAS ASSOCIATIVOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BERNI, Jean Cerqueira e MARIANO, Hugo Luiz. Classifying toposes for some theories of 'C POT. ∞'−rings. 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/04-Berni-Mariano-SAJL.pdf. Acesso em: 23 abr. 2024. , 2018
APA
Berni, J. C., & Mariano, H. L. (2018). Classifying toposes for some theories of 'C POT. ∞'−rings. 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/04-Berni-Mariano-SAJL.pdf
NLM
Berni JC, Mariano HL. Classifying toposes for some theories of 'C POT. ∞'−rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 313–350.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/04-Berni-Mariano-SAJL.pdf
Vancouver
Berni JC, Mariano HL. Classifying toposes for some theories of 'C POT. ∞'−rings [Internet]. South American Journal of Logic. 2018 ; 4( 2): 313–350.[citado 2024 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/04-Berni-Mariano-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: 23 abr. 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 abr. 23 ] 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 abr. 23 ] Available from: http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf
Trabalho de evento-anais periodico
An algebraic (set) theory of surreal numbers, I (2022)
Rangel, Dimi Rocha; Mariano, Hugo Luiz
Source: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Subjects: TEORIA DOS CONJUNTOS, LÓGICA MATEMÁTICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RANGEL, Dimi Rocha e MARIANO, Hugo Luiz. An algebraic (set) theory of surreal numbers, I. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://collegepublications.co.uk/ifcolog/?00053. Acesso em: 23 abr. 2024. , 2022
APA
Rangel, D. R., & Mariano, H. L. (2022). An algebraic (set) theory of surreal numbers, I. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://collegepublications.co.uk/ifcolog/?00053
NLM
Rangel DR, Mariano HL. An algebraic (set) theory of surreal numbers, I [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 347-403.[citado 2024 abr. 23 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
Vancouver
Rangel DR, Mariano HL. An algebraic (set) theory of surreal numbers, I [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 347-403.[citado 2024 abr. 23 ] Available from: https://collegepublications.co.uk/ifcolog/?00053

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects

Non normalized affiliation