We study the variety generated by the three-element equivalential algebra with conjunction on the dense elements. We prove the representation theorem which let us construct the free algebras in this variety.

We study the variety of equivalential algebras with zero and its subquasivariety that gives the equivalent algebraic semantics for the ‐fragment of intuitionistic propositional logic. We prove that this fragment is hereditarily structurally complete. Moreover, we effectively construct the finitely generated free equivalential algebras with zero.

We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the -fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.

We investigate algebraically the fragment of the intuitionistic propositional calculus consisting of equivalence together with conjunction on the intuitionistic regularizations. We find that this fragment is strongly algebraizable with the equivalent algebraic semantics being the variety of equivalential algebras with an additional binary operation that can be interpreted as the meet on regular elements. We give a finite equational base for this variety, and investigate its properties, in particular the commutator. As applications, we prove that the fragment is hereditarily structurally (...) complete and we describe the top of the lattice of its axiomatic extensions. (shrink)