3 citations · 7 across the 18 of their papers we have counts for
6 papers · 1 filter
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…
Duality for powerset coalgebras
Guram Bezhanishvili, Luca Carai, Patrick Morandi
Let CABA be the category of complete and atomic boolean algebras and complete boolean homomorphisms, and let CSL be the category of complete meet-semilattices and complete meet-hom…
Diego's Theorem for nuclear implicative semilattices
Guram Bezhanishvili, Nick Bezhanishvili, Luca Carai +3
We prove that the variety of nuclear implicative semilattices is locally finite, thus generalizing Diego's Theorem. The key ingredients of our proof include the coloring technique…