×

Gouveia, Maria João

Compute Distance To:
Author ID: gouveia.maria-joao Recent zbMATH articles by "Gouveia, Maria João"
Published as: Gouveia, Maria João; Gouveia, M. J.; Gouveia, Maria J.
External Links: ORCID
Documents Indexed: 16 Publications since 2010
Co-Authors: 7 Co-Authors with 15 Joint Publications
141 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 37 times in 23 Documents Cited by Year
Natural extensions and profinite completions of algebras. Zbl 1232.08006
Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A.
9
2011
TiRS graphs and TiRS frames: a new setting for duals of canonical extensions. Zbl 1347.06008
Craig, Andrew P. K.; Gouveia, Maria J.; Haviar, Miroslav
5
2015
Canonical extensions and profinite completions of semilattices and lattices. Zbl 1301.06022
Gouveia, M. J.; Priestley, H. A.
4
2014
Multisorted dualisability: change of base. Zbl 1235.08004
Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A.
4
2011
A note on profinite completions and canonical extensions. Zbl 1205.06003
Gouveia, Maria João
3
2010
Profinite completions and canonical extensions of semilattice reducts of distributive lattices. Zbl 1312.06004
Gouveia, M. J.; Priestley, H. A.
3
2013
Transferral of entailment in duality theory: dualisability. Zbl 1224.08008
Gouveia, M. J.; Haviar, M.
2
2011
Transferral of entailment in duality theory. II: Strong dualisability. Zbl 1249.08014
Gouveia, M. J.; Haviar, M.
2
2011
MIX \(\star\)-autonomous quantales and the continuous weak order. Zbl 06975210
Gouveia, Maria João; Santocanale, Luigi
1
2018
The continuous weak order. Zbl 1446.18004
Gouveia, Maria João; Santocanale, Luigi
1
2021
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2020
\(\aleph_1\) and the modal \(\mu\)-calculus. Zbl 1454.03027
Gouveia, Maria João; Santocanale, Luigi
1
2019
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1475.03069
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2016
The continuous weak order. Zbl 1446.18004
Gouveia, Maria João; Santocanale, Luigi
1
2021
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2020
\(\aleph_1\) and the modal \(\mu\)-calculus. Zbl 1454.03027
Gouveia, Maria João; Santocanale, Luigi
1
2019
MIX \(\star\)-autonomous quantales and the continuous weak order. Zbl 06975210
Gouveia, Maria João; Santocanale, Luigi
1
2018
Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1475.03069
Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi
1
2016
TiRS graphs and TiRS frames: a new setting for duals of canonical extensions. Zbl 1347.06008
Craig, Andrew P. K.; Gouveia, Maria J.; Haviar, Miroslav
5
2015
Canonical extensions and profinite completions of semilattices and lattices. Zbl 1301.06022
Gouveia, M. J.; Priestley, H. A.
4
2014
Profinite completions and canonical extensions of semilattice reducts of distributive lattices. Zbl 1312.06004
Gouveia, M. J.; Priestley, H. A.
3
2013
Natural extensions and profinite completions of algebras. Zbl 1232.08006
Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A.
9
2011
Multisorted dualisability: change of base. Zbl 1235.08004
Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A.
4
2011
Transferral of entailment in duality theory: dualisability. Zbl 1224.08008
Gouveia, M. J.; Haviar, M.
2
2011
Transferral of entailment in duality theory. II: Strong dualisability. Zbl 1249.08014
Gouveia, M. J.; Haviar, M.
2
2011
A note on profinite completions and canonical extensions. Zbl 1205.06003
Gouveia, Maria João
3
2010

Citations by Year