CEMAT - Member

Members > Former Member

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. (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.

Communications in Conference Proceedings

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.

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 (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

Conferences

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

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

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

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

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 (Contributed Talk)