1 problem

Let $\mathbb{SH}$ denote the variety of connexive semi-Heyting algebras, let $\mathbf A\in\mathbb{SH}$ satisfy (AT1), and let $x,y\in A$. The conjecture. The identity … holds in…