Ruitenburg's Theorem via Duality and Bounded Bisimulations

zbMath1418.03191arXiv1804.06130MaRDI QIDQ5224571

Luigi Santocanale, Silvio Ghilardi

Publication date: 24 July 2019

Full work available at URL: https://arxiv.org/abs/1804.06130

zbMATH Keywords

sheaf dualitybounded bisimulationsRuitenburg's theorem

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25)

Related Items (2)

Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond

This page was built for publication: Ruitenburg's Theorem via Duality and Bounded Bisimulations