A theorem of representation for Hilbert algebras

Dan Dorin Tascau

Abstract


The main scope of this paper is to prove the following theorem of representation for a Hilbert algebra

A : There exist a complete residuated lattice Lr(A) which is a algebra and an injective morphism of Hilbert algebras iA : A ! Lr(A): Also, I give the description of the elements of Lr(A):

Full Text:

PDF