期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
WBR_0-代数的并半格刻画定理
1
作者 凌雪岷 徐罗山 杨凌云 《模糊系统与数学》 北大核心 2017年第5期13-18,共6页
通过研究WBR_0-代数公理组的内在联系,考虑到WBR_0-代数是具有逆序对合对应运算的格,因此给出了WBR_0-代数的两个并半格刻画定理,同时对偶地给出了WBR_0-代数的两个简化的交半格刻画定理。
关键词 形式逻辑系统 WBR0-代数 并半格 交半格
原文传递
c-空间范畴的一个Cartesian闭满子范畴 被引量:5
2
作者 车铭静 寇辉 《四川师范大学学报(自然科学版)》 CAS 北大核心 2020年第6期756-762,共7页
通过逼近的方式刻画c-空间,通过序与拓扑相结合的方式定义一类特殊的c-空间,称之为并半格c-空间,该结构是domain理论中连续格这一重要概念的推广.特别地,证明由所有并半格c-空间及连续映射构成的范畴是c-空间范畴的Cartesian闭满子范畴.
关键词 c-空间 并半格c-空间 Cartesian闭范畴
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部