Suppose,L,M are complete lattices and :M→L is a function preserving arbitrary joins.Let :L→M be defined by (......

本文给出了基于非经典逻辑的拓扑的一个统一的框架，综述了作者及其合作者近年来在此课题上所取得的一系列结果，指出了这些结果在其它......