• 제목/요약/키워드: central deductive system

검색결과 1건 처리시간 0.013초

CENTRAL HILBERT ALGEBRAS

  • Jun, Young-Bae;Park, Chul-Hwan
    • 한국수학교육학회지시리즈B:순수및응용수학
    • /
    • 제15권3호
    • /
    • pp.309-313
    • /
    • 2008
  • 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.

  • PDF