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 G¡ 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


DOI: https://doi.org/10.52846/ami.v37i3.342