Ordered Filters of Heyting Almost Distributive Lattices
Abstract
The notion of ordered ï¬lters is introduced in Heyting almost distributive lattices and the properties of these ï¬lters are then studied. A set of characterization theorems of ordered ï¬lters are proved. Some necessary conditions of ordered ï¬lters are derived. Some congruences are introduced in terms of ordered ï¬lters and a relation is established among these congruences.