CEMAT - Membro

Membros > Antigo Membro

Maria João Gouveia

Morada Institucional

Faculdade de Ciências da Universidade de Lisboa
Av. Prof. Gama Pinto, 2
1649-003 LISBOA

Telefone: +351 21 7500160 | Fax: +351 217500072 | Email: mjgouveia@fc.ul.pt | Web: webpages.fc.ul.pt/~mjgouveia

Posição

Professora Auxiliar, Faculdade de Ciências, Universidade de Lisboa

Área

Álgebra e Computação

Área Principal

Álgebra

Outra Área

Álgebra Universal e Reticulados (sub-área)

Qualificações

Doutoramento em Matemática (Álgebra, Lógica e Fundamentos), Faculdade de Ciências, Universidade de Lisboa, 1999
Mestrado em Matemática (Álgebra), Faculdade de Ciências, Universidade de Lisboa, 1993
Licenciatura em Matemática, Faculdade de Ciências, Universidade de Lisboa, 1989

Artigos em Revistas Internacionais

Craig, A.; Gouveia, M. J.; Haviar, M. (2015) TiRS graphs and TiRS frames: a new setting for duals of canonical extensions . , (in press).

Gouveia, M. J.; Priestley, H. A. (2014) Canonical extensions and profinite completions of semilattices and lattices . Order: 31(2), 189-216.

Gouveia, M. J.; Priestley, H. A. (2013) Profinite completions and canonical extensions of semilattice reducts of distributive lattices . Houston J. Math.: 39(4), 1117-1136.

Gouveia, M. J.; Haviar, M. (2011) Transferral of entailment in duality theory: dualisability . Czechoslovak Mathematical Journal: 61(1), 41-63.

Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A. (2011) Multisorted dualisability: change of base . Algebra Universalis: 66(4), 331-336.

Gouveia, M. J.; Haviar, M. (2011) Transferral of entailment in duality theory II: strong dualisability . Czechoslovak Mathematical Journal: 61(2), 401-417.

Davey, B.; Gouveia, M. J.; Haviar, M.; Priestley, H. A. (2011) Natural extensions and profinite completions of algebras . Algebra Universalis: 66(3), 205-241.

Gouveia, M. J. (2010) A note on profinite completions and canonical extensions . Algebra Universalis: 64(1-2), 21-23.

Gouveia, M. J.; (previously Saramago, M. J.) (2004) Optimal natural dualities: the role of endomorphisms . J. Australian Math. Soc.: 77, 269-296.

Gouveia, M. J.; (previously Saramago, M. J.); Priestley, H. A. (2002) Optimal natural dualities: the structure of failsets . Internat. J. Algebra and Computation: 12 (3), 407-436.

Gouveia, M. J.; (previously Saramago, M. J.) (2000) Some remarks on dualisability and endodualisability . Algebra Universalis: 43, 197-212.

Gouveia, M. J.; (previously Saramago, M. J.) (1998) Optimal natural dualities for some quasivarieties of distributive double p-algebras . Acta Math. Univ. Comenianae: 67, 249-272.

Comunicações em Actas de Conferência

Ghilardi S.; Gouveia, M. J.; Santocanale L (2016) Fixed-Point Elimination in the Intuitionistic Propositional Calculus . Jacobs B., Löding C. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2016.: Jacobs B., Löding C. (eds) Fou, 126-141.

Teses

Gouveia, M. J.; (previously Saramago, M. J.) (1999) A study of natural dualities, including an analysis of the structure of failsets . Tese de Doutoramento, Universidade de Lisboa, Portugal.

Gouveia, M. J.; (1993) Teorias de Dualidade . Dissertação de Mestrado em Matemática (Álgebra), Faculdade de Ciências, Universidade de Lisboa, Portugal.

Seminars

Graphs, polarities and lattices (2014-11-20) CAUL, Instituto para a Investigação Interdisciplinar Universidade de Lisboa

Graphs, polarities and completions of lattices (2014-01-25) Departamento de Matema?tica da Universidade de Coimbra

Special completions of semilattices and lattices (2013-02-26)

Dualidades naturais em 50 minutos (2012-05-18)

Canonical, natural and profinite extensions of semilattices (part 2) (2011-05-30) Faculty of Sciences of the University of Lisbon, Buiding C6, 2nd Floor

Canonical, natural and profinite extensions of semilattices (2011-05-27) Institute for Interdisciplinary Research

The role of entailment in natural dualities and in canonical extensions (2010-09-09) Institute for Interdisciplinary Research

Canonical extensions and profinite limits in finitely generated varieties of lattice based algebras (2009-04-03)

Ortomodularidade: uma breve introdução (2004-05-06) ENSPM 2004

Reticulados distributivos: uma dualidade a três tempos (2004-03-19)

What is a natural duality? (2003-10-30) Centre d'Analyse et de Mathematique Sociales, Paris

Lógica, álgebra, semântica: três maneiras diferentes de olhar para a mesma realidade (2000-11-02)

Algumas considerações sobre dualizabilidade (2000-06-28) CMUC

Unanimidade próxima e dualidades naturais (2000-05-12)

Representação de reticulados distributivos limitados (2000-05-04) Seminário de Mestrado em Álgebra, Departamento de Matemática, Faculdade de Ciências, Universidade de Lisboa, Portugal

Dualidade de Priestley (1996-12-01) Seminário de Mestrado em Álgebra, Departamento de Matemática, Faculdade de Ciências, Universidade de Lisboa, Portugal

Conferências

Lattices, Universal Algebra and Applications CAUL, Lisboa, Portugal, 28-30/05/2003 (Comissão Organizadora)

The Fifth Conference on Topology, Algebra and Categories in Logic (TACL) Marseille (Comunicação)

50th Summer School on Algebra and Ordered Sets 2012 Slovakia (Comunicação)

Summer workshop at CAUL 2013, Categorical representations in Algebra CAUL (Comissão Organizadora, Comunicação)

Categorical Methods in Algebra and Topology-Workshop in honour of Manuela Sobral on the occasion of her seventieth birthday Departamento de Matema?tica da Universidade de Coimbra (Comunicação)