On a symmetrization of hemiimplicative semilattices
A hemiimplicative semilattice is a bounded semilattice (A,∧,1) endowed with a binary operation →, satisfying that for every a,b,c∈A, a≤b→c implies a∧b≤c (that is to say, one of the conditionals satisfied by the residuum of the infimum) and the equation a→a=1. The class of hemiimplicative semilattices form a variety. These structures provide a general framework for the study of different structures of interest in algebraic logic. In any hemiimplicative semilattice it is possible to define a derived operation by a∼b:=(a→b)∧(b→a). Endowing (A,∧,1) with the binary operation ∼ results again a hemiimplicative semilattice, which also satisfies the identity a∼b=b∼a. We call the elements of the subvariety of hemiimplicative semilattices satisfying a→b=b→a, a symmetric hemiimplicative semilattice. In this article, we study the correspondence assigning the symmetric hemiimplicative semilattice (A,∧,∼,1) to the hemiimplicative semilattice (A,∧,→,1). In particular, we characterize the image of this correspondence. We also provide many new examples of hemiimplicative semilattice structures on any bounded semillatice (possibly with bottom). Finally, we characterize congruences on the clases of hemiimplicative semilattices introduced as examples and we describe the principal congruences of hemiimplicative semilattices.
