1 citations · 1 across the 5 of their papers we have counts for
5 papers · 1 filter
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…
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…