Edit Profile (opens in new tab) Gouveia, Maria João Compute Distance To: Compute Author ID: gouveia.maria-joao 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 all top 5 Co-Authors 1 single-authored 6 Haviar, Miroslav 6 Santocanale, Luigi 4 Priestley, Hilary A. 2 Craig, Andrew P. K. 2 Davey, Brian A. 2 Ghilardi, Silvio 1 Lehtonen, Erkko all top 5 Serials 5 Algebra Universalis 2 Czechoslovak Mathematical Journal 1 Houston Journal of Mathematics 1 Journal of Pure and Applied Algebra 1 Order 1 The Electronic Journal of Combinatorics 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science all top 5 Fields 9 Order, lattices, ordered algebraic structures (06-XX) 5 General algebraic systems (08-XX) 4 Mathematical logic and foundations (03-XX) 2 Combinatorics (05-XX) 2 Category theory; homological algebra (18-XX) 1 Convex and discrete geometry (52-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications 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.08006Davey, 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.06008Craig, Andrew P. K.; Gouveia, Maria J.; Haviar, Miroslav 5 2015 Canonical extensions and profinite completions of semilattices and lattices. Zbl 1301.06022Gouveia, M. J.; Priestley, H. A. 4 2014 Multisorted dualisability: change of base. Zbl 1235.08004Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A. 4 2011 A note on profinite completions and canonical extensions. Zbl 1205.06003Gouveia, Maria João 3 2010 Profinite completions and canonical extensions of semilattice reducts of distributive lattices. Zbl 1312.06004Gouveia, M. J.; Priestley, H. A. 3 2013 Transferral of entailment in duality theory: dualisability. Zbl 1224.08008Gouveia, M. J.; Haviar, M. 2 2011 Transferral of entailment in duality theory. II: Strong dualisability. Zbl 1249.08014Gouveia, M. J.; Haviar, M. 2 2011 MIX \(\star\)-autonomous quantales and the continuous weak order. Zbl 06975210Gouveia, Maria João; Santocanale, Luigi 1 2018 The continuous weak order. Zbl 1446.18004Gouveia, Maria João; Santocanale, Luigi 1 2021 Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi 1 2020 \(\aleph_1\) and the modal \(\mu\)-calculus. Zbl 1454.03027Gouveia, Maria João; Santocanale, Luigi 1 2019 Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1475.03069Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi 1 2016 The continuous weak order. Zbl 1446.18004Gouveia, Maria João; Santocanale, Luigi 1 2021 Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1433.03015Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi 1 2020 \(\aleph_1\) and the modal \(\mu\)-calculus. Zbl 1454.03027Gouveia, Maria João; Santocanale, Luigi 1 2019 MIX \(\star\)-autonomous quantales and the continuous weak order. Zbl 06975210Gouveia, Maria João; Santocanale, Luigi 1 2018 Fixed-point elimination in the intuitionistic propositional calculus. Zbl 1475.03069Ghilardi, Silvio; Gouveia, Maria João; Santocanale, Luigi 1 2016 TiRS graphs and TiRS frames: a new setting for duals of canonical extensions. Zbl 1347.06008Craig, Andrew P. K.; Gouveia, Maria J.; Haviar, Miroslav 5 2015 Canonical extensions and profinite completions of semilattices and lattices. Zbl 1301.06022Gouveia, M. J.; Priestley, H. A. 4 2014 Profinite completions and canonical extensions of semilattice reducts of distributive lattices. Zbl 1312.06004Gouveia, M. J.; Priestley, H. A. 3 2013 Natural extensions and profinite completions of algebras. Zbl 1232.08006Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A. 9 2011 Multisorted dualisability: change of base. Zbl 1235.08004Davey, B. A.; Gouveia, M. J.; Haviar, M.; Priestley, H. A. 4 2011 Transferral of entailment in duality theory: dualisability. Zbl 1224.08008Gouveia, M. J.; Haviar, M. 2 2011 Transferral of entailment in duality theory. II: Strong dualisability. Zbl 1249.08014Gouveia, M. J.; Haviar, M. 2 2011 A note on profinite completions and canonical extensions. Zbl 1205.06003Gouveia, Maria João 3 2010 all cited Publications top 5 cited Publications all top 5 Cited by 19 Authors 9 Haviar, Miroslav 7 Davey, Brian A. 7 Priestley, Hilary A. 6 Gouveia, Maria João 3 Santocanale, Luigi 2 Conradie, Willem 2 Craig, Andrew P. K. 2 Hartonas, Chrysafis 2 Palmigiano, Alessandra 1 Dahlqvist, Fredrik 1 Ghilardi, Silvio 1 Goldblatt, Robert Ian 1 Hansoul, Georges E. 1 Nganou, Jean Bernard 1 Pitkethly, Jane G. 1 Robinson, Claudette 1 Teheux, Bruno 1 Tzimoulis, Apostolos 1 Wijnberg, Nachoem M. all top 5 Cited in 15 Serials 6 Algebra Universalis 2 Applied Categorical Structures 1 Beiträge zur Algebra und Geometrie 1 Czechoslovak Mathematical Journal 1 Fuzzy Sets and Systems 1 Journal of Philosophical Logic 1 Journal of Pure and Applied Algebra 1 Studia Logica 1 Topology and its Applications 1 Annals of Pure and Applied Logic 1 Order 1 MSCS. Mathematical Structures in Computer Science 1 Acta Universitatis Matthiae Belii. Series Mathematics 1 Journal of Algebra and its Applications 1 Logica Universalis all top 5 Cited in 9 Fields 14 Order, lattices, ordered algebraic structures (06-XX) 10 General algebraic systems (08-XX) 6 Mathematical logic and foundations (03-XX) 5 Category theory; homological algebra (18-XX) 3 General topology (54-XX) 2 Topological groups, Lie groups (22-XX) 1 Combinatorics (05-XX) 1 Convex and discrete geometry (52-XX) 1 Computer science (68-XX) Citations by Year