Some covering properties in semantic method of continuous valued logic

摘要

In this paper, some characterizations of fuzzifying semi-compactness are given, including characterizations in terms of nets and semi-subbases. Lastly, several characterizations of locally semi-compactness in the framework of fuzzifying topology are introduced and the mapping theorems are obtained.