A note on homomorphisms of Hilbert algebras (Q1607811)

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.