3 citations · 7 across the 18 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
math.LO2024
Failure of Esakia's theorem in the monadic setting
Guram Bezhanishvili, Luca Carai
Esakia's theorem states that Grzegorczyk's logic is the greatest modal companion of intuitionistic propositional calculus. We prove that already the one-variable fragment of intuit…
math.LO2024
Failure of the Blok-Esakia Theorem in the monadic setting
Guram Bezhanishvili, Luca Carai
The Blok-Esakia Theorem establishes that the lattice of superintuitionistic logics is isomorphic to the lattice of extensions of Grzegorczyk's logic. We prove that the Blok-Esakia…
math.LO2024
A calculus for modal compact Hausdorff spaces
Nick Bezhanishvili, Luca Carai, Silvio Ghilardi +1
The symmetric strict implication calculus is a modal calculus for compact Hausdorff spaces. This is established through de Vries duality, linking compact Hausdorff…