NEW CHARACTERIZATION OF SKELETON OF FINITE DISTRIBUTIVE LATTICE
Marcin Łazarz · 2014
In the paper we introduce the notion of !-irreducibility and we show that the set of all !-irreducible elements of a nite Heyting lattice L forms the skeleton of L. We also discuss a parallel concept of $-irreducibility and give a similar characterization. Finally, we present generalizations of these results for some class of innite Heyting lattices.