Lattices of Intermediate Theories via Ruitenburg's Theorem

Gianluca Grilletti, Davide Emilio Quadrellaro

For every univariate formula $\chi$ we introduce a lattices of intermediate theories: the lattice of $\chi$-logics. The key idea to define chi-logics is to interpret atomic propositions…