73 citations · 149 across the 21 of their papers we have counts for
Showing 2018 · math.LOShow all
2 papers · 2 filters
math.LO2018★ 2 cited
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…
math.LO2018★ 3 cited
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…