Hilbert algebras as implicative partial semilattices (Q2454702)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hilbert algebras as implicative partial semilattices |
scientific article |
Statements
Hilbert algebras as implicative partial semilattices (English)
0 references
16 October 2007
0 references
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).
0 references
compatible elements
0 references
filter
0 references
Hilbert algebra
0 references
implicative semilattice
0 references
partial semilattice
0 references
compatible meet operation
0 references