Showing math.LOShow all
2 papers · 1 filter
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…