CEMAT - Member

Members > PhD Members

Maria João Gouveia

Institutional Address

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

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

Position

Assistant Professor, Faculdade de Ciências, Universidade de Lisboa

Area

Algebra and Computing

Principal Area

Algebra

Other Area

Universal Algebra, Lattices and Algebraic Logic (subarea)

Qualifications

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

Papers in International Journals

Craig, A.; Gouveia, M. J.; Haviar, M. (2022) Canonical extensions of lattices are more than perfect . Algebra Universalis: (in press).

Gouveia, M. J.; Santocanale, L. (2021) The continuous weak order . Journal of Pure and Applied Algebra: 225, Issue 2.

Gouveia, M. J.; Lehtonen, Erkko (2021) Permutation reconstruction from a few large patterns . Electronic Journal of Combinatorics: 28(3), #P3.41.

Gouveia, M. J.; Santocanale, L. (2019) Aleph 1 and the Modal mu-Calculus . Logical Methods in Computer Science: 15(4), 1-34.

Ghilardi S.; Gouveia, M. J.; Santocanale L (2019) Fixed-Point Elimination in the Intuitionistic Propositional Calculus . ACM Transactions on Computational Logic: 21(1), 1-37.

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.

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.; Haviar, M. (2011) Transferral of entailment in duality theory: dualisability . Czechoslovak Mathematical Journal: 61(1), 41-63.

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.

Thesis

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 (20/11/2014) CAUL, Instituto para a Investigação Interdisciplinar Universidade de Lisboa

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

Summer Workshops @ CAUL, 2013 (26/07/2013) Instituto para a Investigação Interdisciplinar da Universidade de Lisboa

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Conferences

Summer workshop at CAUL 2013, Categorical representations in Algebra (26/11/2014) CAUL (Organizing Committee, Contributed Talk)

Categorical Methods in Algebra and Topology-Workshop in honour of Manuela Sobral on the occasion of her seventieth birthday (25/01/2014) Departamento de Matema?tica da Universidade de Coimbra (Contributed Talk)

50th Summer School on Algebra and Ordered Sets 2012 (03/09/2012) Slovakia (Contributed Talk)

The Fifth Conference on Topology, Algebra and Categories in Logic (TACL) (27/07/2011) Marseille (Contributed Talk)

Lattices, Universal Algebra and Applications (28/05/2003) CAUL, Lisbon, Portugal, 28-30/05/2003 (Organizing Committee)