3 papers
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.CT2025
McKinsey-Tarski algebras and Raney extensions
Guram Bezhanishvili, Ranjitha Raviprakash, Anna Laura Suarez +1
We introduce the notion of Raney morphism between MT-algebras and show that the resulting category is equivalent to the category of Raney extensions. This is done by generalizing t…
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…