1 paper
Mamuka Jibladze, Evgeny Kuznetsov
An embedding of arbitrary Heyting algebra H into a reduct from the variety of Kuznetsov-Muravitsky algebras is constructed. An algebraic proof is given that this reduct belongs to…