Representation and duality for Hilbert algebras (Q1040223)

From MaRDI portal
Revision as of 04:49, 2 July 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
Representation and duality for Hilbert algebras
scientific article

    Statements

    Representation and duality for Hilbert algebras (English)
    0 references
    0 references
    0 references
    0 references
    24 November 2009
    0 references
    A Hilbert algebra is an algebra \(A=(A,\to ,1)\) of type \((2,0)\) such that the following axioms hold in \(A:\) \(a\to (b\to a)=1\), \((a\to (b\to c))\to ((a\to b)\to (a\to c))=1,a\to b=b\to a=1\) imply \(a=b\). In this paper, the authors prove that the category of Hilbert algebras with semi-homomorphisms is dually equivalent to the category of Hilbert spaces with certain relations mentioned above. They restrict this result to give a duality for the category of Hilbert algebras with homomorphisms and apply these results to prove that the lattice of the deductive systems of a Hilbert algebra and the lattice of open subsets of its dual Hilbert space, are isomorphic. Also, they explore how this duality is related to the duality given by \textit{S. Celani} and \textit{L. Cabrer} in [Discrete Math. 305, No. 1--3, 74--99 (2005; Zbl 1084.03050)] for finite Hilbert algebras, and with the topological duality developed by \textit{I. Chajda, R. Halaš} and \textit{J. Zedník} in [Acta Univ. Palacki. Olomuc., Fac. Rerum Nat., Math. 37, 41--45 (1998; Zbl 0967.03059)] for Tarski algebras.
    0 references
    Hilbert algebra
    0 references
    representation theorem
    0 references
    topological duality
    0 references
    deductive system
    0 references
    category
    0 references
    Hilbert space
    0 references

    Identifiers