3 citations · 7 across the 18 of their papers we have counts for
Showing 2025 · math.LOShow all
3 papers · 2 filters
math.LO2025
Esakia's theorem for the amended monadic intuitionistic calculus
Guram Bezhanishvili, Luca Carai
We show that the amended monadic Grzegorczyk logic is the largest modal companion of the amended monadic intuitionistic logic . Thus, unlike the…
math.LO2025
On the lack of colimits in various categories arising in pointfree topology and algebraic logic
Marco Abbadini, Guram Bezhanishvili, Luca Carai
We prove that the category of McKinsey-Tarski algebras is not equivalent to a variety of algebras, thus answering a question of Peter Jipsen in the negative. More generally, we sho…
math.LO2025
Duality Theory for Bounded Lattices: A Comparative Study
Guram Bezhanishvili, Luca Carai, Patrick Morandi
There are numerous generalizations of the celebrated Priestley duality for bounded distributive lattices to the non-distributive setting. The resulting dualities rely on an earlier…