arXiv:1807.02423 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords free implicative semilattice extension, hilbert algebra, algebraic category, generalized heyting algebras, variations Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset