Domain理论与Quantale代数的相关问题研究

11871320
2018
A0602.信息技术与不确定性的数学理论与方法
汪开云
面上项目
教授
陕西师范大学
52万元
Quantale代数;模糊Domain;Domain逻辑;Domain;线性逻辑
2019-01-01到2022-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Nonexistence of k-bounded sobrification 期刊论文 Jing Lu;Kaiyun Wang;Guohua Wu;Bin Zhao
2 量化Domain理论 专著 汪开云;鲁静;赵彬
3 On the quantale of quantic nuclei 期刊论文 Shengwei Han
4 Z-Quantale的表示定理 期刊论文 杜佳慧;刘敏
5 Quasicontinuous spaces 期刊论文 Jing Lu;Bin Zhao;Kaiyun Wang;Dongsheng Zhao
6 Cartesian closedness of a category of non-frame valued complete fuzzy orders 期刊论文 Min Liu
7 Irreducible convergence in T0 spaces 期刊论文 Bin Zhao;Jing Lu;Kaiyun Wang
8 Fuzzy closure operators and their applications 期刊论文 Shengwei Han;Rongrong Wang
9 SI-continuous spaces and continuous posets 期刊论文 Jing Lu;Bin Zhao;Kaiyun Wang
10 Bounded sobriety and k-bounded sobriety of Q-cotopological spaces 期刊论文 Yujing Zhang;Kaiyun Wang
11 The existence of states based on Glivenko semihoops 期刊论文 Pengfei He;Juntao Wang;Jiang Yang
12 A compact space is not always SI-compact 期刊论文 Zhengmao He;Kaiyun Wang
13 Some further results on free quantale algebras 期刊论文 Hongwei Wu;Bin Zhao;Kaiyun Wang
14 Big Ramsey degrees in universal inverse limit structures 期刊论文 Natasha Dobrinen;Kaiyun Wang
15 The answer to a problem posed by Zhao and Ho 期刊论文 Bin Zhao;Jing Lu;Kaiyun Wang
查看更多信息请先登录或注册