Representation and duality for Hilbert algebras (Q1040223)

From MaRDI portal
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