Congruences and Filters of BH-Lattices

Abstract

In this paper, we introduce the concept of filters in BH-lattices and furnish certain examples. We obtain certain basic properties of BH-lattices. Further, we characterize the filter generated by a given sub set of a BH-lattice. Also we prove that, the set of all filters with set inclusion forms a Heyting algebra. We obtain a one to one correspondence between the set of congruences and filter of BH-lattices.