1 citations · 1 across the 5 of their papers we have counts for
8 papers
A Unified Approach to Gelfand and de Vries Dualities
Guram Bezhanishvili, Luca Carai, Patrick Morandi +1
We develop a unified approach to Gelfand and de Vries dualities for compact Hausdorff spaces, which is based on appropriate modifications of the classic results of Dieudonné (analy…
Admissibility of -Inference Rules: interpolation, model completion, and contact algebras
Nick Bezhanishvili, Luca Carai, Silvio Ghilardi +1
We devise three strategies for recognizing admissibility of non-standard inference rules via interpolation, uniform interpolation, and model completions. We apply our machinery to…
Temporal interpretation of intuitionistic quantifiers: Monadic case
Guram Bezhanishvili, Luca Carai
In a recent paper we showed that intuitionistic quantifiers admit the following temporal interpretation: "always in the future" (for ) and "sometime in the past" (for $\ex…
Temporal interpretation of intuitionistic quantifiers
Guram Bezhanishvili, Luca Carai
We show that intuitionistic quantifiers admit the following temporal interpretation: is true at a world iff is true at every object in the domain of every fut…
Characterization of metrizable Esakia spaces via some forbidden configurations
Guram Bezhanishvili, Luca Carai
By Priestley duality, each bounded distributive lattice is represented as the lattice of clopen upsets of a Priestley space, and by Esakia duality, each Heyting algebra is represen…
Free bounded archimedean -algebras
Guram Bezhanishvili, Luca Carai, Patrick Morandi
We show that free objects on sets do not exist in the category of bounded archimedean -algebras. On the other hand, we introduce the category of weighted sets and prove…