In this article, the authors mainly study how to obtain new semicontinuous lattices from the given semicontinuous lattices and discuss the conditions under which the image of a semicontinuous projection operator is also semicontinuous. Moreover, the authors investigate the relation between semicontinuous lattices and completely distributive lattices. Finally, it is proved that the strongly semicontinuous lattice category is a Cartesian closed category.
Let (L, ≤, ∨, ∧) be a complete Heyting algebra. In this article, the linear system Ax = b over a complete Heyting algebra, where classical addition and multiplication operations are replaced by ∨ and ∧ respectively, is studied. We obtain: (i) the necessary and suffcient conditions for S(A, b)≠■l; (ii) the necessary conditions for |S(A, b)| = 1. We also obtain the vector ∈ Ln and prove that it is the largest element of S(A, b) if S(A, b)≠■.
