On a symmetrization of hemiimplicative semilattices

José Luis Castiglioni, Hernán Javier San Martín

A hemiimplicative semilattice is a bounded semilattice $(A,\wedge ,1)$ endowed with a binary operation $\to$, satisfying that for every $a,b,c\in A$, $a\le b\to c$ implies $…