International Journal of Mathematics and Mathematical Sciences
Volume 29 (2002), Issue 1, Pages 55-61
doi:10.1155/S0161171202011134
Abstract
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 homomorphism and with the
deductive systems.