Central Hilbert Algebras
Journal of the Korean Society of Mathematical Education Series B: Theoretical Mathematics and Pedagogical Mathematics / Journal of the Korean Society of Mathematical Education Series B: Theoretical Mathematics and Pedagogical Mathematics, (P)3059-0604; (E)3059-1309
2008, v.15 no.3, pp.309-313
Jun, Young-Bae
Park, Chul-Hwan
Jun,,
Y.
, &
Park,,
C.
(2008). Central Hilbert Algebras, 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