3 citations · 5 across the 4 of their papers we have counts for
6 papers
Canonical extensions of lattices are more than perfect
Andrew P. K. Craig, Maria J. Gouveia, Miroslav Haviar
In \cite{CGH15} we introduced TiRS graphs and TiRS frames to create a new natural setting for duals of canonical extensions of lattices. In this continuation of \cite{CGH15} we ans…
The continuous weak order
Maria João Gouveia, Luigi Santocanale
The set of permutations on a finite set can be given the lattice structure known as the weak Bruhat order. This lattice structure is generalized to the set of words on a fixed alph…
Mix -autonomous quantales and the continuous weak order
Maria João Gouveia, Luigi Santocanale
The set of permutations on a finite set can be given a lattice structure (known as the weak Bruhat order). The lattice structure is generalized to the set of words on a fixed alpha…
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version)
Silvio Ghilardi, Maria Joao Gouveia, Luigi Santocanale
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the alge- braic models of the Intuitionistic Pr…
and the modal -calculus
Maria João Gouveia, Luigi Santocanale
For a regular cardinal , a formula of the modal -calculus is -continuous in a variable x if, on every model, its interpretation as a unary function of x is monotone and pr…
Fixed-point elimination in the intuitionistic propositional calculus
Silvio Ghilardi, Maria Joao Gouveia, Luigi Santocanale
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Prop…