대한수학회논문집 (Communications of the Korean Mathematical Society)
- 제11권3호
- /
- Pages.595-600
- /
- 1996
- /
- 1225-1763(pISSN)
- /
- 2234-3024(eISSN)
On deductive systems of hilbert algebras
- Hong, Sung-Min (Department of Mathematics and Research Institute of Natural Science, Gyeongsang National University) ;
-
Jun, Young-Bae
(Department of Mathematics and Research Institute of Natural Science, Gyeongsang National University)
- 발행 : 1996.07.01
초록
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.