A note on homomorphisms of Hilbert algebras
Summary: We give a representation theorem for Hilbert algebras by means of ordered sets and characterize the homomorphisms of Hilbert algebras in terms of applications defined between the sets of all irreducible deductive systems of the associated algebras. For this purpose we introduce the notion of order-ideal in a Hilbert algebra and we prove a separation theorem. We also define the concept of semi-homomorphism as a generalization of the similar notion of Boolean algebras and we study its relation with the concept of homomorphism and with the deductive systems.
scientific article; zbMATH DE number 1780317