• 대한수학회논문집
• /
• 제11권3호
• /
• pp.595-600
• /
• 1996

We give a characterization of a deductive system. We introduce the concept of maximal deductive systems and show that every bounded Hilbert algebra with at least two elements contains at least one maximal deductive system. Moreover, we introduce the notion of radical and semisimple in a Hilbert algebra and prove that if H is a bounded Hilbert algebra in which every element is an involution, then H is semisimple.