Andreas Bernhard Michael Brunner
possui mestrado em Matemática pela Ludwig-Maximiliains-Universitaet Muenchen (1993) na área de análise complexa e doutorado em Matemática pela Universidade de São Paulo (2000) na área de lógica matemática. Atualmente é Professor Titular da Universidade Federal da Bahia. Tem experiência na área de Matemática, com ênfase em Matemática Pura, na área de Álgebra e Lógica Matemática. Pesquiso e oriento principalmente nos seguintes assuntos: teoria das categorias, axioma de escolha em categorias, lógicas clássica e não-clássicas, em particular, a lógica intuicionista de Brouwer-Heyting com modelos em (pré-)feixes, alguns lógicas paraconsistentes, e lógicas abstratas.
Informações coletadas do Lattes em 04/11/2022
Acadêmico
Formação acadêmica
Doutorado em Matemática
1995 - 2000
Universidade de São Paulo
Título: O método das constantes na teoria dos modelos em feixes sobre uma álgebra de Heyting
, Ano de obtenção: 2000. Francisco Miraglia. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil. Palavras-chave: Lógica; Teoria dos Modelos; Feixes; Intuicionismo.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica.
Mestrado em Matemática
1992 - 1993
Ludwig-Maximiliains-Universitaet Muenchen
Título: Integralformeln fuer analytische Polyeder, Ano de Obtenção: 1993
Orientador: Otto Forster
Palavras-chave: Análise Complexa; Teoria dos Feixes.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Análise.
Pós-doutorado
2014 - 2014
Pós-Doutorado. , Università degli Studi di Salerno, UniSa, Itália. , Bolsista do(a): European Comunity, MATOMUVI, Bélgica. , Grande área: Ciências Exatas e da Terra
2001 - 2002
Pós-Doutorado. , Universidade Estadual de Campinas, UNICAMP, Brasil. , Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica. , Grande Área: Ciências Humanas / Área: Filosofia.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Alemão
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Matemática.
Grande área: Ciências Humanas / Área: Filosofia.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógica/Especialidade: Lógicas clássica e não-clássicas.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Conjuntos.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra/Especialidade: Lógica Matemática.
Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Álgebra.
Organização de eventos
ANDRADE, A. M. S. ; PINTO, D. C. ; PIMENTEL, E. ; BRUNNER, A. B. M. ; Suguitani, L. ; CERAMI, M. ; PASSOS, M. D. ; da Silva, S.G. . XX. Brazilian Logic Conference. 2022. (Congresso).
BRUNNER, A. B. M. ; ANDRADE, A. M. S. ; PINTO, D. C. ; da Silva, S.G. . Logical and Semantic Frameworks with Applications, LSFA 2019. 2019. (Congresso).
LOBOAO, T. P. ; da Silva, S.G. ; MANDOLESI, A. L. G. ; BRUNNER, A. B. M. ; PASSOS, M. D. ; Bahiano, C. E. N. . XXII. Brazilian Algebra Meeting. 2012. (Congresso).
BRUNNER, A. B. M. ; AYALA-RINCÓN, M. ; ANDRADE, A. M. S. ; HAEUSLER, E.H. ; PIMENTEL, E. ; BENEVIDES, M. . Logical and Semantic Frameworks with Applications - LSFA 2008. 2008. (Congresso).
Participação em eventos
XX. Encontro Brasileiro de Lógica 2021. Lógicas, Ensino e Extensão. 2022. (Congresso).
Workshop.Model Theory in Sheaves. 2016. (Encontro).
Semana de Lógica, Conjuntos e Topologia.Topologia sem pontos. 2014. (Seminário).
XIV. Encontro de Matemática.Introdução a teoria dos reticulados. 2012. (Encontro).
Miniencontro de Lógica do ICMC.Representações topológicas de lógicas abstratas. 2011. (Encontro).
XVI. Encontro Brasileiro de Lógica (EBL). Topological representation of intuitionistic and distributive abstract logics. 2011. (Congresso).
XIII. Encontro de Matemática da UFBA.Introdução a Lógica Clássica. 2010. (Encontro).
Dézimo Segundo Encontro de Matemática.Introdução a Teoria dos Reticulados. 2009. (Encontro).
Dézimo Primeiro Encontro da Matemática - Damat-UFBA.Lógicas Clássica e Não-Clássicas. 2008. (Encontro).
LSFA2008 - Workshop on Logical and Semantic Frameworks. 2008. (Congresso).
Dézimo Encontro de Matemática (Damat_UFBA).Reticulados e Lógica. 2007. (Encontro).
Seminário da UNB - Brasília.Lógicas Abstratas: O Caso Intuicionista. 2007. (Seminário).
Nono Encontro de Matemática (Damat-UFBA).A lógica intuicionista de Brouwer-Heyting. 2006. (Encontro).
Seminários de Iniciação Científica.Lógicas Clássica e Não-clássicas. 2006. (Seminário).
Seminário da USP-São Carlos.Aspectos topológicos em lógica. 2005. (Seminário).
VII. Jornada da Olimpíada de Matemática.A História da Lógica. 2004. (Encontro).
XII. Encontro Brasileiro de Lógica. Dualizing intuitionistic logics. 2003. (Congresso).
X. Encontro Brasileiro de Filosofia - ANPOF. First order anti-intuitionistic logic with apartness. 2002. (Congresso).
Encontro Brasileiro de Matemática. 1997. (Congresso).
Participação em bancas
RUSSO, C.; Mariano, H.L.;BRUNNER, A. B. M.. A dualidade de Stone e sua extensão às topologias Fuzzy e MV álgebras. 2015. Dissertação (Mestrado em Matemática) - Universidade Federal da Bahia.
LOBAO, T. P.; SICA, C.;BRUNNER, A. B. M.. Unidades f-unitárias em um anel de grupo integral. 2013. Dissertação (Mestrado em Matemática) - Universidade Federal da Bahia.
BRUNNER, A. B. M.; Mariano, H.L.; PAIVA, V. V.. Dualidade bitopológica para reticulados distributivos e álgebras de Heyting. 2012. Dissertação (Mestrado em Matemática) - Universidade Federal da Bahia.
BRUNNER, A. B. M.; Mariano, H.L.; da Silva, S.G.. Dualidade generalizada de Esakia e aplicações. 2012. Dissertação (Mestrado em Matemática) - Universidade Federal da Bahia.
Weiss, M.A.; Bianconi, R.;BRUNNER, A. B. M.. Introdução a Lógica Modal. 2009. Dissertação (Mestrado em Matemática) - Universidade de São Paulo.
BRUNNER, A. B. M.CARNIELLI, W.; André Fuhrmann. Paraconsistência, modalidades e cognoscibilidade. 2003. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.
BRUNNER, A. B. M.; FREIRE, R. A.; LUCIANO, O. O.; Mariano, H.L.; VENTURI, G.. Um referencial algébrico para uma teoria dos conjuntos baseada nos números surreais. 2018. Tese (Doutorado em Doutorado) - Instituto de Matemática e Estatística da USP.
Bianconi, R.;BRUNNER, A. B. M.; LOPES, V. C.; Mariano, H.L.; MIRAGLIA, F.. O-minimal de Rham cohomology. 2017. Tese (Doutorado em Doutorado) - Instituto de Matemática e Estatística da USP.
Mariano, H.L.; Bianconi, R.; Coniglio, M.E.; FREIRE, R. A.;BRUNNER, A. B. M.. Uma fundamentação categorial para uma teoria de representação de lógicas. 2016. Tese (Doutorado em Doutorado em Matemática) - Universidade de São Paulo.
LOBAO, T. P.; SICA, C.;BRUNNER, A. B. M.. Unidades unitárias e suas generalizações em álgebra de grupo. 2014. Exame de qualificação (Doutorando em Matemática) - Universidade Federal da Bahia.
LOBAO, T. P.; SOUZA, M. S.;BRUNNER, A. B. M.. Elementos simétricos sob involuções em anéis de grupo. 2014. Exame de qualificação (Doutorando em Matemática) - Universidade Federal da Bahia.
BRUNNER, A. B. M.; PINTO, D. C.; Suguitani, L.. Sobre Operadores de Fecho em Lógica. 2019. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
BRUNNER, A. B. M.; PINTO, D. C.; da Silva, S.G.. O princípio das escolhas dependentes e o Teorema da união enumerável de finitos encarados como axiomas de forcing. 2018. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
BRUNNER, A. B. M.; da Silva, S.G.; Romero, M.S.. O espectro de Zariski de um anel comutativo com unidade. 2014. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
BRUNNER, A. B. M.; TERAN, E. C.; da Silva, S.G.. Sobre os teoremas de ponto fixo de Tarski e Banach. 2011. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
LOBOAO, T. P.;BRUNNER, A. B. M.; da Silva, S.G.. Classes radicais: exemplos, construções e correspondências. 2011. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
TERAN, E. C.;BRUNNER, A. B. M.; Romero, M.S.. Teorema de existência e unicidade de soluções das equações diferenciais estocásticas. 2011. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
Romero, M.S.;BRUNNER, A. B. M.; Bahiano, C. E. N.. Representação de reticulados distributivos através do espaço de Priestley. 2010. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
Romero, M.S.; TERAN, E. C.;BRUNNER, A. B. M.. Métodos de ponto interior para o problema de programação linear. 2010. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
Bahiano, C. E. N.; Romero, M.S.;BRUNNER, A. B. M.. O grafo zero-divisor de uma anel comutativo. 2010. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
BRUNNER, A. B. M.; da Silva, S.G.; Costa, T. S. O.. A Dualidade de Stone. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
da Silva, S.G.;BRUNNER, A. B. M.; Romero, M.S.. Uma aplicação de ultrafiltros em topologia: um espaço compacto sem sequências convergentes não triviais. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
MANDOLESI, A. L. G.; da Silva, S.G.;BRUNNER, A. B. M.. A Geometria Hiperbólica e o Disco de Poincaré. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
Santos Abdalla, D.; da Silva, S.G.;BRUNNER, A. B. M.. Complexidade de Raciocínio em Lógica de Descrição. 2009. Trabalho de Conclusão de Curso (Graduação em Matemática) - Universidade Federal da Bahia.
FERNANDES, K. M.; TENENBAUM, R. A.;BRUNNER, A. B. M.. Linguagem Matemática e Raciocínio Lógico. 2014. Universidade Federal do Sul de Bahia.
Mariano, H.L.; VAINSENCHER, I.;BRUNNER, A. B. M.. Álgebra, Lógica e Teoria dos Conjuntos. 2012. Universidade Federal da Bahia.
Mariano, H.L.; Coniglio, M.E.;BRUNNER, A. B. M.. Concurso Público para Professor Adjunto na área de Lógica e Teoria dos Conjuntos. 2010. Universidade Federal da Bahia.
BRUNNER, A. B. M.. Concurso para Professor Assistente na área de álgebra. 2007. Universidade Estadual do Sudeste da Bahia - Jequié.
BRUNNER, A. B. M.; MIRANDA, R.; SANTOS, S. R.. Concurso Público para Professor Assistente na área de Filosofia e História da Matemática e Lógica Matemática. 2005. Universidade do Estado da Bahia.
CASTRO JUNIOR, A.; TERAN, E. C.;BRUNNER, A. B. M.. Concurso para Professor Adjunto I na área de matemática. 2005. Centro Federal de Educação Tecnológica.
BRUNNER, A. B. M.; MENEZES, M. B.; RIBEIRO, R. R.. Concurso Público para Professor Assistente - Álgebra. 2004. Universidade Estadual de Feira de Santana.
BRUNNER, A. B. M.. Banca para Progressão Funcional da Professora Márcia Barbosa de Menezes. 2010. Universidade Federal da Bahia.
BRUNNER, A. B. M.. Banca para Progressão Funcional da Professora Maria Cristina Menezes de Sá. 2010. Universidade Federal da Bahia.
Carvalho, J.R.M.;BRUNNER, A. B. M.; Cerqueira, J.J.F.. Progressão Funcional do Professor Maurício Romero Sicre. 2010. Universidade Federal da Bahia.
Orientou
Dualidade generalizada de Esakia e aplicações; 2012; Dissertação (Mestrado em Matemática) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: Andreas Bernhard Michael Brunner;
Dualidade bitopológica para reticulados distributivos e álgebras de Heyting; 2012; Dissertação (Mestrado em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Sobre Operadores de Fecho em Lógica; 2019; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal da Bahia; Orientador: Andreas Bernhard Michael Brunner;
O espectro de Zariski de um anel comutativo com unidade; 2014; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal da Bahia; Orientador: Andreas Bernhard Michael Brunner;
Sobre os teoremas de ponto fixo de Tarski e Banach; 2011; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal da Bahia; Orientador: Andreas Bernhard Michael Brunner;
Representação de reticulados distributivos através do espaço de Priestley; 2010; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal da Bahia; Orientador: Andreas Bernhard Michael Brunner;
A Dualidade de Stone; 2009; Trabalho de Conclusão de Curso; (Graduação em Matemática) - Universidade Federal da Bahia; Orientador: Andreas Bernhard Michael Brunner;
Lógica Algebrizáveis e Intermediárias; 2019; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Lógica Abstratas Algebrizáveis; 2018; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Bolsa UFBA; Orientador: Andreas Bernhard Michael Brunner;
Lógica e Álgebra; 2017; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Métodos algébricoa e topológicos em lógica; 2014; Iniciação Científica; (Graduando em Abi - Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Reticulados e lógica; 2011; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Domínio e lógicas abstratas; 2010; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Teoria das Categorias e Lógica; 2009; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Intuicionismo; 2009; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Lógica Intuicionista; 2008; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Fundação de Amparo à Pesquisa do Estado da Bahia; Orientador: Andreas Bernhard Michael Brunner;
Lógica Clássica e Reticulados; 2008; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia; Orientador: Andreas Bernhard Michael Brunner;
Reticulados e Lógica; 2007; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Lógica Matemática; 2007; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia; Orientador: Andreas Bernhard Michael Brunner;
Aspectos topológicos em lógica; 2006; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Aspectos algébricos em lógica; 2005; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Lógicas Intuicionistas e Paraconsistentes; 2004; Iniciação Científica; (Graduando em Matemática) - Universidade Federal da Bahia, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Andreas Bernhard Michael Brunner;
Lógicas Intuicionistas e Paraconsistentes; 2004; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal da Bahia; Orientador: Andreas Bernhard Michael Brunner;
Produções bibliográficas
-
BRUNNER, A. B. M. ; MALTA, P. R. S. . Teoremas de ponto fixo de Banach e Knaster-Tarski, revistos. Revista Matemática Universitária , v. 2, p. 1-21, 2020.
-
BRUNNER, A. B. M. ; Mariano, H.L. ; PINTO, D. C. ; da Silva, S.G. . More on Categorial Forms of the Axiom of Choice. SOUTH AMERICAN JOURNAL OF LOGIC , v. 4, p. 351-372, 2018.
-
BRUNNER, A. B. M. ; LEWITZKA, S. . Topological representation of intuitionistic and distributive abstract logics. Logica Universalis (Print) , v. 11, p. 153-175, 2017.
-
BRUNNER, A. B. M. ; Mariano, H.L. ; da Silva, S.G. . Categorial Forms of the Axiom of Choice. LOGIC JOURNAL OF THE IGPL , v. 25, p. 408-430, 2017.
-
BRUNNER, A. B. M. . Model Theory in Sheaves. SOUTH AMERICAN JOURNAL OF LOGIC , v. 2, p. 379-404, 2016.
-
LEWITZKA, S. ; BRUNNER, A. B. M. . Minimally Generated Abstract Logics. Logica Universalis (Print) , v. 3, p. 219-241, 2009.
-
BRUNNER, A. B. M. ; CARNIELLI, W. . Anti-intuitionism and paraconsistency. Journal of Applied Logic, Elsevier, v. 3, p. 161-184, 2005.
-
BRUNNER, A. B. M. ; MIRAGLIA, F. . An Omitting Types Theorem for Sheaves over Topological Spaces. Logic Journal of the IGPL , v. 12(6), n.Nov./Dec., p. 525-548, 2004.
-
BRUNNER, A. B. M. . First-order Anti-intuitionistic Logic with Apartness. LOGIC AND LOGICAL PHILOSOPHY , Períodico, v. 13, p. 75-86, 2004.
-
BRUNNER, A. B. M. ; CARNIELLI, W. . Anti-Intuitionism and Paraconsistency. CLE e-Prints (Online) , Campinas, v. 3, n.1, 2003.
-
BRUNNER, A. B. M. ; MIRAGLIA, F. . The method of diagrams for pre-sheaves of L-structures. Séminaire de Structures Algébriques Ordonnées, Paris, p. 1 - 21, 01 mar. 2014.
-
BRUNNER, A. B. M. ; SECCO, G. ; UCKELMAN, S. ; VIANA, P. ; SILVA, M. ; LOPES, B. . Lógica, Ensino e Extensão. In: XX. Encontro Brasileiro de Lógica 2021, 2022, Salvador. XX BRAZILIAN LOGIC CONFERENCE BOOK OF ABSTRACTS, 2022. p. 33-34.
-
BRUNNER, A. B. M. ; Mariano, H.L. ; PINTO, D. C. ; da Silva, S.G. . Beyond the Categorial Forms of the Axiom of Choice. In: XIX. Brazilian Logic Meeting, 2019, João Pessoa. Book of Abstracts of the XIX. Brazilian Logic Meeting, 2019.
-
BRUNNER, A. B. M. ; PINTO, D. C. ; Mariano, H.L. ; da Silva, S.G. . Beyond the categorial forms of the AC. In: 6th World Congress and School of Universal Logic, 2018, Vichy. Handbook of the 6th World Congress and School of Universal Logic. Vichy: Universit e Clermont Auvergne, Vichy, France, 2018, 2018. p. 399-400.
-
BRUNNER, A. B. M. ; Mariano, H.L. ; PINTO, D. C. ; da Silva, S.G. . More on Categorial Forms of the Axiom of Choice. In: XVIII. Brazilian Logic Meeting, 2017, Pirenópolis. Book of Abstracts of the XVIII. Brazilian Logic Meeting, 2017.
-
BRUNNER, A. B. M. ; da Silva, S.G. ; Mariano, H.L. . Categorial forms of the Axiom of Choice. In: 17th Brazilian Logic Conference, 2014, Petrópolis/RJ. EBL 2014 - 17th Brazilian Logic Conference. Rio de Janeiro, 2014. p. 39-39.
-
BRUNNER, A. B. M. ; LEWITZKA, S. . Topological representation of intuitionistic and distributive abstract logics. In: XVI. Encontro Brasileiro de Lógica, 2011, Petrópolis. XVI. Encontro Brasileiro de Lógica, 2011.
-
BRUNNER, A. B. M. . Dualizing Intuitionistic Logics. In: XII. Encontro Brasileiro de Lógica, 2003, Campinas. XIII. Encontro Brasileiro de Lógica. Campinas: CLE Unicamp, 2003.
-
BRUNNER, A. B. M. . Dualizing Intuitionistic Logics. In: XIII Encontro Brasileiro de Lógica (SBL), 2003, Campinas. CLE/SBL 25 Anos. Campinas: CLE Unicamp, 2003. p. 52-52.
-
BRUNNER, A. B. M. . First-order anti-intuitionistic logic with apartness. In: X. Encontro Nacional de Filosofia, 2002, São Paulo. ANPOF. Campinas: Associção Nacional de Pós-Graduação de Filosofia, 2002. p. 236-236.
-
BRUNNER, A. B. M. ; CARNIELLI, W. . Kripke semantics for anti-intuitionistic logics. Journal of Symbolic Logic , Logic Colloquium 2001, v. 8, n.1, p. 168-168, 2001.
-
BRUNNER, A. B. M. ; SECCO, G. ; UCKELMAN, S. ; VIANA, P. ; LOPES, B. ; SILVA, M. . Lógica, Ensino e Extensão. 2022. (Apresentação de Trabalho/Outra).
-
BRUNNER, A. B. M. . Model Theory in Sheaves. 2016. (Apresentação de Trabalho/Comunicação).
-
BRUNNER, A. B. M. . Topologia sem pontos. 2014. (Apresentação de Trabalho/Seminário).
-
BRUNNER, A. B. M. . Introdução a teoria dos reticulados. 2012. (Apresentação de Trabalho/Comunicação).
-
BRUNNER, A. B. M. ; LEWITZKA, S. . Topological representation of intuitionistic and distributive abstract logics. 2011. (Apresentação de Trabalho/Comunicação).
-
BRUNNER, A. B. M. . Lógica e Álgebra. 2011. (Apresentação de Trabalho/Seminário).
-
BRUNNER, A. B. M. . Representações topológicas de lógicas abstratas. 2011. (Apresentação de Trabalho/Seminário).
-
BRUNNER, A. B. M. . Introdução a Lógica Clássica. 2010. (Apresentação de Trabalho/Seminário).
-
BRUNNER, A. B. M. . Introdução à teoria dos reticulados. 2009. (Apresentação de Trabalho/Seminário).
-
BRUNNER, A. B. M. . Introdução à teoria dos reticulados. 2009. (Apresentação de Trabalho/Seminário).
-
BRUNNER, A. B. M. . A história da lógica. 2004. (Apresentação de Trabalho/Comunicação).
-
BRUNNER, A. B. M. . Dualizing intuitionistic logics. 2003. (Apresentação de Trabalho/Comunicação).
-
BRUNNER, A. B. M. ; LEWITZKA, S. . Topological representations of intuitionistic and distributive logics. Cornell University Library, 2015 (Pré-publicação).
-
BRUNNER, A. B. M. ; PINTO, D. C. . Distributive abstract logic and the Esakia duality. Cornell University Library, 2014 (Pré-publicação).
Outras produções
BRUNNER, A. B. M. . Assessoria PIBIC. 2022.
BRUNNER, A. B. M. . Assessoria PIBIC. 2021.
BRUNNER, A. B. M. . Assessoria PIBIC. 2020.
BRUNNER, A. B. M. . Assessoria PIBIC. 2019.
BRUNNER, A. B. M. . Assessória PIBIC. 2018.
BRUNNER, A. B. M. . Assessoria para o PIBIC. 2017.
BRUNNER, A. B. M. . Assessoria para o PIBIC. 2016.
BRUNNER, A. B. M. . Assessoria na Pro-Reitoria da Graduação, PROGRAD. 2015.
BRUNNER, A. B. M. . Assessoria para o PIBIC. 2015.
BRUNNER, A. B. M. . Assessoria Técnico Científico à Fundação Editora da UNESP. 2014.
BRUNNER, A. B. M. . Assessoria para o PIBIC. 2014.
BRUNNER, A. B. M. . Assessoria na Pro-Reitoria da Graduação, PROGRAD. 2012.
BRUNNER, A. B. M. . Assesssoria para o PIBIC. 2010.
BRUNNER, A. B. M. . Matemática Discreta II. 2016. (Desenvolvimento de material didático ou instrucional - Notas de Aula).
BRUNNER, A. B. M. . Matemática Discreta I. 2013. (Desenvolvimento de material didático ou instrucional - Notas de aulas).
Projetos de pesquisa
-
2019 - 2020
Lógica Abstratas e seus Espaços Topológicos, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
-
2018 - 2019
Lógicas Abstratas, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
-
2017 - 2018
Sistemas de Fecho e Lógica, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
-
2013 - 2014
Sistemas de Fecho e Lógica, Descrição: Projeto aprovado pelo PIBIC. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
-
2011 - 2012
Reticulados, lógica e teoremas de ponto fixo, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
-
2009 - 2010
Lógica Intuicionista e Topos, Descrição: Projeto de Pesquisa elaborado junto a Iniciação Ciêntífica (PIBIC) da UFBA. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
-
2008 - 2009
Lógicas Clássica, Intuicionista e Domínios, Descrição: Neste projeto de pesquisa do PIBIC estudamos vários tipos de lógicas (clássica e intuicionista de Brouwer-Heyting), teoria dos reticulados e domínios. A relação com lógicas abstratas também está sendo estabilizado.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Andreas Bernhard Michael Brunner - Coordenador.
-
2007 - Atual
Grupo de Pesquisa em Lógicas Abstratas (cadastrado junto ao CNPq), Descrição: Estudamos lógicas abstratas, i.e., o que é uma lógica? Como definir lógica abstrata. Quais propriedades tem uma lógica abstrata e fazemos conexões com a teoria da computação.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) . , Integrantes: Andreas Bernhard Michael Brunner - Coordenador / Steffen Lewitzka - Integrante / Carolina da Silva Santos - Integrante / Emanuelle Rose Romero de Santana - Integrante., Número de produções C, T & A: 3
-
2005 - 2006
Aspectos Algébricos e Topológicos em Lógica, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Andreas Bernhard Michael Brunner - Coordenador., Número de produções C, T & A: 2
Histórico profissional
Endereço profissional
-
Universidade Federal da Bahia, Instituto de Matemática. , Av. Ademar de Barros s/n, Ondina, 40170210 - Salvador, BA - Brasil, Telefone: (071) 32636316
Experiência profissional
2021 - Atual
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Professor titular, Regime: Dedicação exclusiva.
2018 - 2020
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Associado IV, Regime: Dedicação exclusiva.
2016 - 2018
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Associado III, Regime: Dedicação exclusiva.
2014 - 2016
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Associado II, Regime: Dedicação exclusiva.
2012 - 2014
Universidade Federal da BahiaVínculo: , Enquadramento Funcional: Associado I, Regime: Dedicação exclusiva.
2010 - 2012
Universidade Federal da BahiaVínculo: , Enquadramento Funcional: Adjunto IV, Regime: Dedicação exclusiva.
2008 - 2010
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Adjunto III, Regime: Dedicação exclusiva.
2005 - 2008
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Adjunto II, Carga horária: 40
2003 - 2005
Universidade Federal da BahiaVínculo: Servidor Público, Enquadramento Funcional: Adjunto I, Carga horária: 40, Regime: Dedicação exclusiva.
Atividades
-
03/2010
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Grupos e Anéis I, Matemática Discreta I, Tópicos em Álgebra, Grupos e Anéis II, Álgebra III - Teoria de Galois, Fundamentos I, Matemática Discreta II
-
11/2008
Extensão universitária , Conselho de Ensino, Pesquisa e Extensão.,Atividade de extensão realizada, Membro da Comissão de Revalidação de Diplomas de matemática.
-
09/2008
Extensão universitária , Colegiado da Farmácia.,Atividade de extensão realizada, Membro do Colegiado.
-
10/2007
Extensão universitária , Colegiado da Ciência da Computação.,Atividade de extensão realizada, Membro do Colegiado.
-
06/2003
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra Ia (Números, Lógica, Conjuntos, Reticulados), Álgebra II (Teoria dos Anéis), Estruturas Matemáticas (Filosofia da Matemática), Fundamentos II (Geometria Euclideana), Grupos e Anéis II (2008.2), Matemática Discreta II (Teoria dos Números, Teoria dos Reticulados), Teoria dos Conjuntos (curso de verão dada em conjunto com Prof. Dr. Samuel Gomes da Silva), Tópicos de Álgebra (Teoria das Categorias)
-
08/2009 - 12/2009
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Matemática Discreta II, Matemática Discreta I
-
03/2009 - 07/2009
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra linear IB, Matemática Discreta II
-
08/2008 - 12/2008
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Matemática Discreta I
-
08/2008 - 12/2008
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Grupos e Anéis II: Teoria dos Grupos e Anéis avançada.
-
11/2006 - 11/2008
Extensão universitária , Conselho de Ensino, Pesquisa e Extensão.,Atividade de extensão realizada, Membro da Comissão de Revalidação de Diplomas de Matemática.
-
09/2006 - 09/2008
Extensão universitária , Colegiado da Farmácia.,Atividade de extensão realizada, Membro do Colegiado.
-
02/2008 - 07/2008
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Matemática Básica II: Teoria dos Números para Licenciatura em Matemática, Tópicos de Álgebra: Álgebra Universal
-
08/2007 - 12/2007
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Matemática Discreta II para Ciência da Computação
-
10/2005 - 10/2007
Extensão universitária , Colegiado da Ciência da Computação.,Atividade de extensão realizada, Membro do Colegiado.
-
02/2007 - 07/2007
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Fundamentos II: Geometria Euclidiana Plana Axiomática para Matemática
-
02/2007 - 07/2007
Ensino, Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Topologia Geral para Matemática (Pós-Graduação)
-
01/2007 - 02/2007
Ensino, Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Teoria dos Conjuntos para o curso de verão: disciplina ministrada em conjunto com Prof. Dr. Samuel Gomes da Silva
-
08/2006 - 12/2006
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Álgebra II: Teoria dos Anéis para Matemática
-
02/2006 - 07/2006
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Fundamentos II: Geometria Euclidiana Plana Axiomática para Matemática
-
02/2006 - 07/2006
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Álgebra Ia: Conceitos de Álgebra para Ciência da Computação
-
02/2006 - 07/2006
Ensino, Filosofia, Nível: Graduação,Disciplinas ministradas, Estruturas Matemáticas: Filosofia da Matemática para a Filosofia
-
08/2005 - 12/2005
Ensino, Filosofia, Nível: Graduação,Disciplinas ministradas, Estrutras Matemáticas: Filosofia da Matemática para Filosofia
-
08/2005 - 12/2005
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Fundamentos II: Geometria Euclidiana Plana Axiomática para Matemática
-
10/2003 - 10/2005
Extensão universitária , Colegiado de Engenharia Sanitária e Ambiental.,Atividade de extensão realizada, membro do colegiado.
-
03/2005 - 07/2005
Ensino, Matemática, Nível: Pós-Graduação,Disciplinas ministradas, Topologia Geral para Matemática
-
02/2005 - 07/2005
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Fundamentos II: Geometria Euclidiana Plana Axiomática para Matemática
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Andreas Bernhard Michael Brunner e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?