Ordered Filters of Heyting Almost Distributive Lattices
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.