Displaying similar documents to “Two notes on formalized topology”

Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic

Tomasz Witczak (2019)

Bulletin of the Section of Logic

Similarity:

We present three examples of topological semantics for intuitionistic modal logic with one modal operator □. We show that it is possible to treat neighborhood models, introduced earlier, as topological or multi-topological. From the neighborhood point of view, our method is based on differences between properties of minimal and maximal neighborhoods. Also we propose transformation of multitopological spaces into the neighborhood structures.

On generalized topological spaces I

Artur Piękosz (2013)

Annales Polonici Mathematici

Similarity:

We begin a systematic study of the category GTS of generalized topological spaces (in the sense of H. Delfs and M. Knebusch) and their strictly continuous mappings. We reformulate the axioms. Generalized topology is found to be connected with the concept of a bornological universe. Both GTS and its full subcategory SS of small spaces are topological categories. The second part of this paper will also appear in this journal.