• Title/Summary/Keyword: central deductive system

Search Result 1, Processing Time 0.013 seconds

CENTRAL HILBERT ALGEBRAS

  • Jun, Young-Bae;Park, Chul-Hwan
    • The Pure and Applied Mathematics
    • /
    • v.15 no.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