Representation and duality for Hilbert algebras (Q1040223)

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.