TY - RPRT TI - Variations of the free implicative semilattice extension of a Hilbert algebra AU - José L. Castiglioni AU - Hernán J. San Martín PY - 2018 UR - https://arxiv.org/abs/1807.02423 ID - 1807.02423 ER -