Central Hilbert Algebras
Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics / Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics, (P)1226-0657; (E)2287-6081
2008, v.15 no.3, pp.309-313
Jun, Young-Bae
Park, Chul-Hwan
Jun,,
Y.
, &
Park,,
C.
(2008). Central Hilbert Algebras. Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics, 15(3), 309-313.
Abstract
The notion of central Hilbert algebras and central deductive systems is introduced, and related properties are investigated. We show that the central part of a Hilbert algebra is a deductive system. Conditions for a subset of a Hilbert algebra to be a deductive system are given. Conditions for a subalgebra of a Hilbert algebra to be a deductive system are provided.
- keywords
-
(central) Hilbert algebra,
central part,
central deductive system