A New Proof for the Filter-lattice of a Distributive Lattice to Be a Spatial Frame
Wei Yao · Mohu xitong yu shuxue · 2007
In this paper,the concept of submaximal filters in distributive lattices is introduced.Then we prove that the lattice of all filters in distributive lattices is a spatial frame be means of submaximal filters.At last some special properties of submaximal filters in Heyting algebras are studied.