Some characterization theorems on induced \(I(L)\)-topological spaces (Q2386245)

Let \(L\) be a complete Heyting algebra with an order-reversing involution; and let \(I(L)\) be the Hutton \(L\)-unit interval. For each \(L\)-topological space \((X,\tau)\), the collection \(\omega(\tau)\) of all \(I(L)\)-valued lower semicontinuous functions from \(X\) to \(I(L)\) forms an \(I(L)\)-topology on \(X\), called the \(I(L)\)-topology induced by \(\tau\). This paper discusses relationships between topological properties of \((X, \tau)\) and \((X, \omega(\tau))\), e.g., interior operators, closure operators, convergence of molecular nets, and Baire properties.