3 citations · 11 across the 37 of their papers we have counts for
7 papers · 1 filter
Epimorphisms in varieties of residuated structures
G. Bezhanishvili, T. Moraschini, J. Raftery
It is proved that epimorphisms are surjective in a range of varieties of residuated structures, including all varieties of Heyting or Brouwerian algebras of finite depth, and all v…
A Coalgebraic Approach to Dualities for Neighborhood Frames
Guram Bezhanishvili, Nick Bezhanishvili, Jim de Groot
We develop a uniform coalgebraic approach to Jónsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras. In the first part of t…
A point-free approach to canonical extensions of boolean algebras and bounded archimedean -algebras
G. Bezhanishvili, L. Carai, P. Morandi
In \cite{BH20} an elegant choice-free construction of a canonical extension of a boolean algebra was given as the boolean algebra of regular open subsets of the Alexandroff top…
A negative solution of Kuznetsov's problem for varieties of bi-Heyting algebras
Guram Bezhanishvili, David Gabelaia, Mamuka Jibladze
We show that there exist (continuum many) varieties of bi-Heyting algebras that are not generated by their complete members. It follows that there exist (continuum many) extensions…
Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations
Guram Bezhanishvili, Kristina Brantley, Julia Ilin
The Gödel translation provides an embedding of the intuitionistic logic into the modal logic , which then embeds into the modal logic via…
Profiniteness and representability of spectra of Heyting algebras
G. Bezhanishvili, N. Bezhanishvili, T. Moraschini +1
We prove that there exist profinite Heyting algebras that are not isomorphic to the profinite completion of any Heyting algebra. This resolves an open problem from 2009. More gener…