바로가기메뉴

본문 바로가기 주메뉴 바로가기

logo

  • P-ISSN1226-0657
  • E-ISSN2287-6081
  • KCI

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

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

Journal of the Korean Society of Mathematical Education Series B: The Pure and Applied Mathematics