清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Article-Journal
A logic for approximate reasoning
Mingsheng Ying
引用
DOI
On the method of neighborhood systems in fuzzy topology
In this paper, we revivify the theory of neighborhood systems in fuzzy topology with the method used to develop fuzzifying topology and …
Mingsheng Ying
引用
DOI
URL
Compactness in fuzzifying topology
Mingsheng Ying
引用
DOI
URL
A new approach for fuzzy topology (III)
The concepts of fuzzy continuity, product and quotient spaces are presented, and their fundamental properties are obtained in …
Mingsheng Ying
引用
DOI
URL
Fuzzifying topology based on complete residuated lattice-valued logic (I)
We greatly extend fuzzifying topology by introducing a unary fuzzy predicate interpreted as the property to be fuzzifying topological …
Mingsheng Ying
引用
DOI
URL
概率度量空间中的不分明化拓扑结构
Mingsheng Ying
引用
A further extension of fuzzy logic
Mingsheng Ying
引用
A new approach for fuzzy topology (II)
We introduce the concepts of interior, boundary, subspace, connected space, first- and second-countable spaces, and establish some of …
Mingsheng Ying
引用
DOI
URL
Another Version of the Fundamental Theorem of Ultraproduct of Lattice-valued Models
Mingsheng Ying
引用
COMPACTNESS, THE LÖWENHEIM-SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
Abstract We show that compactness is preserved by arbitrary direct products of lattices of truth values and that the Löwenheim-Skolem …
Mingsheng Ying
引用
DOI
URL
«
»
引用
×