Singh, Sheo Kumar
(Banaras Hindu University, 2015)
Let L be a frame (i.e., a complete lattice satisfying the ‘first infinite distributive law’, viz. a∧(WS) =W{a∧s|s ∈ S}, for every a ∈ L and S ⊆ L). For a set X, let LX denote the set of all functions X → L, called L-sets or ...