21 citations · 26 across the 5 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2023★ 1 cited
Esakia Duals of Regular Heyting Algebras
Gianluca Grilletti, Davide Emilio Quadrellaro
We investigate in this article regular Heyting algebras by means of Esakia duality. In particular, we give a characterisation of Esakia spaces dual to regular Heyting algebras and…
math.LO2020★ 3 cited
Lattices of Intermediate Theories via Ruitenburg's Theorem
Gianluca Grilletti, Davide Emilio Quadrellaro
For every univariate formula we introduce a lattices of intermediate theories: the lattice of -logics. The key idea to define chi-logics is to interpret atomic propositions…