Bruno Miguel Antunes Dinis
Prof. Auxiliar (Departamento de Matemática)
Contrato Trabalho Funções Públicas por tempo indeterminado
Doutoramento: Matemática e Aplicações (Universidade de Évora - 2013)
Licenciatura: Matemática e Ciências da Computação (Universidade de Évora - 2005)
CIMA - Centro de Investigação em Matemática e Aplicações (Membro Integrado Doutorado)
Matemática
Lógica Matemática; Teoria da Demonstração; Proof Mining; Análise Não-standard; Filosofia da Matemática
CMAFcIO
DINIS, Bruno. Equality and Near-Equality in a Nonstandard World. Logic and Logical Philosophy [online]. 21 May 2022, s. 1-14. DOI 10.12775/LLP.2022.018.
Bruno Dinis, Imme van den Berg, Characterization of distributivity in a solid, Indagationes Mathematicae, Volume 29, Issue 2, April 2018, Pages 580-600 https://doi.org/10.1016/j.indag.2017.10.008.
Bruno Dinis, Imme van den Berg, On the quotient class of non-archimedean fields, Indagationes Mathematicae, 28 (4) (2017, 784-795
Bruno Dinis, Axiomatics for the externa lnumbers of nonstandardanalysis Imme van den Berg, Journal of Logic & Analysis 9:7 (2017) 1-47 ISSN 1759-9008
Journal of Logic & Analysis 3:9 (2011) 1-30
* Principais publicações selecionadas pelo autor. Para obter mais publicações realize uma pesquisa por nome de autor no Repositório Digital de Publicações Científicas da UÉ.