Hilbert algebras as implicative partial semilattices (Q2454702)

The infimum of two elements \(a\) and \(b\) of a Hilbert algebra is called the compatible meet of \(a\) and \(b\) if these elements are compatible in a certain sense. The main goal of the present paper is to study Hilbert algebras equipped with the compatible meet operation, which normally is partial. It is proved that a partial lower semilattice is a reduct of such an expanded Hilbert algebra if and only if both algebras have the same filters (see Theorem 3.9). Thus, an expanded Hilbert algebra is an implicative partial semilattice and conversely. Another important contribution of the paper is the characterization of the implication in an implicative partial semilattice in terms of filters of the underlying semilattice (see Theorem 4.5).