Distributivity for Upper Continuous and Strongly Atomic Lattices
Distributivity for Upper Continuous and Strongly Atomic Lattices is a scholarly work, published in 2016 in ''Studia Logica''. The main subjects of the publication include mathematics, distributivity, distributive lattice, rough set, lattice, fuzzy logic, distributive property, combinatorics, logic programming, discrete mathematics, and pure mathematics. The authors prove that an upper continuous and strongly atomic lattice is distributive if and only if it satisfies (D) and ( $$\hbox {D}^*$$ ).