Injectives in the variety generated by a finite subdirectly irreducible   Heyting algebra with involution
  We prove that any finite subdirectly irreducible Heyting algebra with involution is quasi-primal, and that injective algebras in the variety generated by a finite subdirectly irreducible Heyting algebra are precisely diagonal subalgebras of some direct power of this algebra, which are complete as lattices. 
Slava Meskhi
math.LO math.RA