Filtros : "IME-MAT" "South American Journal of Logic" Removido: "Paquistão" Limpar

Filtros



Refine with date range


  • Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME

    Subjects: TEORIA DOS CONJUNTOS, TEORIA DAS CATEGORIAS

    Versão PublicadaAcesso à fonteHow to cite
    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%Silva-SAJL.pdf. Acesso em: 10 nov. 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%Silva-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 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%Silva-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 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v4-i2/05-Brunner-Mariano-Pinto-da%Silva-SAJL.pdf
  • Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaAcesso à fonteHow to cite
    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: 10 nov. 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 nov. 10 ] 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 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v4-i2/06-Figueiredo-Mariano-SAJL.pdf
  • Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME

    Assunto: ANÉIS E ÁLGEBRAS ASSOCIATIVOS

    Versão PublicadaAcesso à fonteHow to cite
    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: 10 nov. 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 nov. 10 ] 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 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v4-i2/04-Berni-Mariano-SAJL.pdf
  • Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME

    Assunto: LÓGICA

    Acesso à fonteHow to cite
    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: 10 nov. 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 nov. 10 ] 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 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v4-i2/01-Preface-EBL-SAJL.pdf
  • Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME

    Subjects: LÓGICA ALGÉBRICA, TEORIA DAS CATEGORIAS

    Versão PublicadaAcesso à fonteHow to cite
    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: 10 nov. 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 nov. 10 ] 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 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v4-i2/02-Arndt-Mariano-Pinto-SAJL.pdf
  • Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME

    Subjects: LÓGICA, TEORIA DAS CATEGORIAS

    Versão PublicadaAcesso à fonteHow to cite
    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: 10 nov. 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 nov. 10 ] 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 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v4-i2/08-Mendes-Mariano-SAJL.pdf
  • Source: South American Journal of Logic. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME

    Assunto: ANÉIS E ÁLGEBRAS COMUTATIVOS

    Versão PublicadaAcesso à fonteHow to cite
    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: 10 nov. 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 nov. 10 ] 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 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v4-i2/09-Miraglia-SAJL.pdf
  • Source: South American Journal of Logic. Unidade: IME

    Assunto: LÓGICA MATEMÁTICA

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      PINTO, Darllan Conceição e MARIANO, Hugo Luiz. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, v. 3, n. 1, p. 111–121, 2017Tradução . . Disponível em: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf. Acesso em: 10 nov. 2024.
    • APA

      Pinto, D. C., & Mariano, H. L. (2017). Remarks on propositional logics and the categorial relationship between institutions and Π-institutions. South American Journal of Logic, 3( 1), 111–121. Recuperado de http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
    • NLM

      Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
    • Vancouver

      Pinto DC, Mariano HL. Remarks on propositional logics and the categorial relationship between institutions and Π-institutions [Internet]. South American Journal of Logic. 2017 ; 3( 1): 111–121.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v3-i1/05-Pinto-Mariano-SAJL.pdf
  • 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: FORMAS QUADRÁTICAS

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ARNDT, Peter e MARIANO, Hugo Luiz. The von Neumann-regular hull of (preordered) rings and quadratic forms. 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/04-Arndt-Mariano-SAJL.pdf. Acesso em: 10 nov. 2024. , 2016
    • APA

      Arndt, P., & Mariano, H. L. (2016). The von Neumann-regular hull of (preordered) rings and quadratic forms. 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/04-Arndt-Mariano-SAJL.pdf
    • NLM

      Arndt P, Mariano HL. The von Neumann-regular hull of (preordered) rings and quadratic forms [Internet]. South American Journal of Logic. 2016 ; 2( 2): 201-244.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf
    • Vancouver

      Arndt P, Mariano HL. The von Neumann-regular hull of (preordered) rings and quadratic forms [Internet]. South American Journal of Logic. 2016 ; 2( 2): 201-244.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v2-i2/04-Arndt-Mariano-SAJL.pdf
  • 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 MATEMÁTICA

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BIANCONI, Ricardo. Some model theory of hypergeometric and Pfaffian functions. 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/06-Bianconi-SAJL.pdf. Acesso em: 10 nov. 2024. , 2016
    • APA

      Bianconi, R. (2016). Some model theory of hypergeometric and Pfaffian functions. 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/06-Bianconi-SAJL.pdf
    • NLM

      Bianconi R. Some model theory of hypergeometric and Pfaffian functions [Internet]. South American Journal of Logic. 2016 ; 2( 2): 297-318.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v2-i2/06-Bianconi-SAJL.pdf
    • Vancouver

      Bianconi R. Some model theory of hypergeometric and Pfaffian functions [Internet]. South American Journal of Logic. 2016 ; 2( 2): 297-318.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v2-i2/06-Bianconi-SAJL.pdf
  • 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

    Subjects: TEORIA DOS CAMPOS, POLINÔMIOS, TEORIA DOS MODELOS

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      LUCIANO, Odilon Otavio. A really simple proof of the Artin-Schreier characterization of real closed fields. 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/10-Luciano-SAJL.pdf. Acesso em: 10 nov. 2024. , 2016
    • APA

      Luciano, O. O. (2016). A really simple proof of the Artin-Schreier characterization of real closed fields. 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/10-Luciano-SAJL.pdf
    • NLM

      Luciano OO. A really simple proof of the Artin-Schreier characterization of real closed fields [Internet]. South American Journal of Logic. 2016 ; 2( 2): 361-377.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf
    • Vancouver

      Luciano OO. A really simple proof of the Artin-Schreier characterization of real closed fields [Internet]. South American Journal of Logic. 2016 ; 2( 2): 361-377.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v2-i2/10-Luciano-SAJL.pdf
  • 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

    Versão PublicadaAcesso à fonteHow to cite
    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: 10 nov. 2024. , 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 2024 nov. 10 ] 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 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf
  • Source: South American Journal of Logic. Unidade: IME

    Assunto: FUNÇÕES MODULARES

    Versão PublicadaAcesso à fonteAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BIANCONI, Ricardo. Model complete expansions of the real field by modular functions and forms. South American Journal of Logic, v. 1, n. 1, p. 321-335, 2015Tradução . . Disponível em: http://www.sa-logic.org/sajl-v2-i1/11-Bianconi-SAJL.pdf. Acesso em: 10 nov. 2024.
    • APA

      Bianconi, R. (2015). Model complete expansions of the real field by modular functions and forms. South American Journal of Logic, 1( 1), 321-335. Recuperado de http://www.sa-logic.org/sajl-v2-i1/11-Bianconi-SAJL.pdf
    • NLM

      Bianconi R. Model complete expansions of the real field by modular functions and forms [Internet]. South American Journal of Logic. 2015 ; 1( 1): 321-335.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v2-i1/11-Bianconi-SAJL.pdf
    • Vancouver

      Bianconi R. Model complete expansions of the real field by modular functions and forms [Internet]. South American Journal of Logic. 2015 ; 1( 1): 321-335.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v2-i1/11-Bianconi-SAJL.pdf
  • Source: South American Journal of Logic. Unidade: IME

    Subjects: FORMAS QUADRÁTICAS, ÁLGEBRAS DE BOOLE, LÓGICA MATEMÁTICA

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MARIANO, Hugo Luiz e MIRAGLIA NETO, Francisco. Model-theoretic applications of the profinite hull functor of special groups. South American Journal of Logic, v. 1, n. 1, p. 111-133, 2015Tradução . . Disponível em: http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf. Acesso em: 10 nov. 2024.
    • APA

      Mariano, H. L., & Miraglia Neto, F. (2015). Model-theoretic applications of the profinite hull functor of special groups. South American Journal of Logic, 1( 1), 111-133. Recuperado de http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf
    • NLM

      Mariano HL, Miraglia Neto F. Model-theoretic applications of the profinite hull functor of special groups [Internet]. South American Journal of Logic. 2015 ; 1( 1): 111-133.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf
    • Vancouver

      Mariano HL, Miraglia Neto F. Model-theoretic applications of the profinite hull functor of special groups [Internet]. South American Journal of Logic. 2015 ; 1( 1): 111-133.[citado 2024 nov. 10 ] Available from: http://www.sa-logic.org/sajl-v1-i1/04-Mariano-Miraglia-SAJL.pdf

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024