Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
From MaRDI portal
Publication:5139276
DOI10.1017/S0960129519000203WikidataQ126316147 ScholiaQ126316147MaRDI QIDQ5139276
Silvio Ghilardi, Luigi Santocanale
Publication date: 8 December 2020
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1901.01252
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unification, finite duality and projectivity in varieties of Heyting algebras
- An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
- Least fixed points in Grzegorczyk's logic and in the intuitionistic propositional logic
- Model completions and r-Heyting categories
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Best solving modal equations
- Closure ordinals of the two-way modal \(\mu\)-calculus
- Rings of sets
- Fixed-Point Elimination in the Intuitionistic Propositional Calculus
- On closure ordinals for the modal mu−calculus
- An Identity Involving the Least Common Multiple of Binomial Coefficients and Its Application
- The modalμ-calculus hierarchy over restricted classes of transition systems
- Logics containing K4. Part II
- On the period of sequences (An(p)) in intuitionistic propositional calculus
- Unification in intuitionistic logic
- Unification through projectivity
- Finitely generated free Heyting algebras
- Fixed-point Elimination in the Intuitionistic Propositional Calculus
- $\aleph_1$ and the modal $\mu$-calculus
- Ruitenburg's Theorem via Duality and Bounded Bisimulations
- Fixed-Point Theory in the Varieties $\mathcal{D}_{n}$
This page was built for publication: Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
