清华大学计算机系量子软件研究中心
清华大学计算机系量子软件研究中心
新闻动态
团队成员
学术活动
论文发表
Article-Journal
Institutions of variable truth values: An approach in the ordered style
The concept of institution of variable truth values is introduced and some main results about institutions are generalized. In …
Mingsheng Ying
引用
DOI
URL
Putting consistent theories together in institutions
The problem of putting consistent theories together in institutions is discussed. A general necessary condition for consistency of the …
Mingsheng Ying
引用
DOI
URL
关于不可分辨性与稳定性的几个结果
Mingsheng Ying
引用
基于非经典逻辑的拓扑及其应用 (英文)
Mingsheng Ying
引用
$τ$_ (T, L) 型概率内积空间
Mingsheng Ying
引用
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
«
»
引用
×