MVLSC Home • Issue Contents

α-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

Full Text (IP)