α-Ideals and α-Deductive Systems in Bounded Hilbert Algebras
Sergio A. Celani
In this paper we introduce and study the notion of α-ideals, α-deductive systems and congruence-cokernels in bounded Hilbert algebras.
Keywords: Hilbert algebra with zero, order-ideal, α-ideal, α-deductive system, congruence-cokernel