3 citations · 4 across the 20 of their papers we have counts for
38 papers
Esakia order-compactifications and locally Esakia spaces
Rodrigo Nicolau Almeida, Guram Bezhanishvili, Nick Bezhanishvili
We introduce Esakia order-compactifications and study how they fit in the general theory of Priestley order-compactifications. We provide an analog of Dwinger's theorem by characte…
Finite axiomatization of and
Guram Bezhanishvili, Mashiath Khan
We prove that is product matching, and that is axiomatizable by adding to the Gödel…
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…
The Funayama envelope as the -hull of a frame
Guram Bezhanishvili, Ranjitha Raviprakash, Anna Laura Suarez +1
We introduce proximity morphisms between MT-algebras and show that the resulting category is equivalent to the category of frames. This is done by utilizing the Funayama envelope o…
Maximality Principles in Modal Logic and the Axiom of Choice
Rodrigo Nicolau Almeida, Guram Bezhanishvili
We investigate the set-theoretic strength of several maximality principles that play an important role in the study of modal and intuitionistic logics. We focus on the well-known F…
The Monadic Grzegorczyk Logic
Guram Bezhanishvili, Mashiath Khan
We develop a semantic criterion for determining whether a given monadic modal logic axiomatizes the one-variable fragment of a predicate modal logic. We show that the criterion app…