In this seminar we present a work originally proposed by Wroński and Kabziński in 1975, which aims to characterize the equivalential fragment of Intuitionistic Propositional Logic (INT) from an algebraic point of view. To achieve this, the authors introduce the notion of equivalential algebra. In the presentation, we first outline the fundamental properties of these structures, leading to the characterization of subdirectly irreducible equivalential algebras, and examine the subvariety generated by linearly ordered ones. In the second part, we present the Embedding Theorem, which establishes that every equivalential algebra can be embedded into the equivalential reduct of a Brouwerian semilattice.