α-Filters in Bounded Hilbert Algebras with Infimum
Hernando Gaitán
In this paper, we prove that the α-filters of a bounded Hilbert algebra with infimum have the structure of a Heyting algebra. We also introduce a little modification in a result of [5] concerning certain deductive systems of a bounded Hilbert algebra to make such a result enterally true.
Keywords: Bounded Hilbert algebra, duality, order-filter, α-deductive system, α-filter