21 citations · 37 across the 30 of their papers we have counts for
7 papers · 1 filter
On discrete idempotent paths
Luigi Santocanale
The set of discrete lattice paths from (0, 0) to (n, n) with North and East steps (i.e. words w { x, y } * such that |w| x = |w| y = n) has a canonical monoid structure inher…
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond
Silvio Ghilardi, Luigi Santocanale
Ruitenburg's Theorem says that every endomorphism f of a finitely generated free Heyting algebra is ultimately periodic if f fixes all the generators but one. More precisely, there…
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…
Ruitenburg's Theorem via Duality and Bounded Bisimulations
Luigi Santocanale, Silvio Ghilardi
For a given intuitionistic propositional formula A and a propositional variable x occurring in it, define the infinite sequence of formulae { A \_i | i1} by letting A\_1 be A…
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…
Dual characterizations for finite lattices via correspondence theory for monotone modal logic
Sabine Frittella, Alessandra Palmigiano, Luigi Santocanale
We establish a formal connection between algorithmic correspondence theory and certain dual characterization results for finite lattices, similar to Nation's characterization of a…