Maria João Gouveia

Available identifiers

Publication	Date of Publication	Type
Canonical extensions of lattices are more than perfect	2022-03-31	Paper
Permutation reconstruction from a few large patterns	2021-08-27	Paper
The continuous weak order	2020-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q5111208	2020-05-26	Paper
Canonical extensions of lattices are more than perfect	2020-01-13	Paper
$\aleph_1$ and the modal $\mu$-calculus	2019-11-26	Paper
Fixed-point Elimination in the Intuitionistic Propositional Calculus	2019-11-22	Paper
MIX $\star$-autonomous quantales and the continuous weak order	2018-11-08	Paper
Mix $\star$-autonomous quantales and the continuous weak order	2018-07-18	Paper
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)	2018-03-05	Paper
Fixed-Point Elimination in the Intuitionistic Propositional Calculus	2016-06-10	Paper
TiRS graphs and TiRS frames: a new setting for duals of canonical extensions	2015-09-01	Paper
Canonical extensions and profinite completions of semilattices and lattices	2014-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q5396771	2014-02-03	Paper
Transferral of entailment in duality theory II: Strong dualisability	2012-03-01	Paper
Multisorted dualisability: change of base	2011-12-14	Paper
Natural extensions and profinite completions of algebras	2011-12-13	Paper
Transferral of entailment in duality theory: Dualisability	2011-06-29	Paper
A note on profinite completions and canonical extensions	2011-01-07	Paper

This page was built for person: Maria João Gouveia