Hilbert algebras as implicative partial semilattices (Q2454702)

From MaRDI portal
Revision as of 10:07, 27 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers