期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
几种多值序及其在拓扑中的应用 被引量:3
1
作者 李令强 金秋 《计算机工程与应用》 CSCD 北大核心 2011年第2期38-40,共3页
讨论了几种常见的多值序结构及其在拓扑中的应用。具体来说,对任意完备剩余格(Ω,*,1),从多值序的角度出发构造了Ω-滤子Monad(FΩ,η,μ),并据此给出了强Ω-拓扑的邻域结构,并展示了拓扑、序和范畴三种不同的结构之间的密切联系。
关键词 Monad对角运算 拓扑
下载PDF
滤子Vs.格值滤子
2
作者 张辉 李令强 +1 位作者 孟广武 汤建钢 《烟台大学学报(自然科学与工程版)》 CAS 2014年第1期13-16,共4页
收敛空间是拓扑空间的自然推广,对角滤子的概念在这一理论中起到了非常重要的作用.一方面,它可以用来刻画收敛空间什么时候是拓扑的,另一方面也可以用来刻画拓扑空间的正则性.对于强化的预幺半群L=(L,≤,*,),我们详细地研究了(对角)... 收敛空间是拓扑空间的自然推广,对角滤子的概念在这一理论中起到了非常重要的作用.一方面,它可以用来刻画收敛空间什么时候是拓扑的,另一方面也可以用来刻画拓扑空间的正则性.对于强化的预幺半群L=(L,≤,*,),我们详细地研究了(对角)滤子与对角(满层的)L-滤子之间的关系,这将有助于建立拓扑与L-拓扑及其收敛之间的联系. 展开更多
关键词 模糊拓扑 拓扑
下载PDF
多值置信的格值闭包算子及Galois联络
3
作者 方进明 张虎 褚晓清 《中国海洋大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第1期98-101,共4页
在多值逻辑的环境下,为进一步完善格值闭包理论的置信化问题,提出多值置信滤子的概念和实例。以多值置信滤子为工具界定了置信格值闭包算子和置信格值Galois联络的概念,并得到它们的等价刻画条件。结果表明:多值置信滤子是十分有用的置... 在多值逻辑的环境下,为进一步完善格值闭包理论的置信化问题,提出多值置信滤子的概念和实例。以多值置信滤子为工具界定了置信格值闭包算子和置信格值Galois联络的概念,并得到它们的等价刻画条件。结果表明:多值置信滤子是十分有用的置信推理工具,其不但可以解决格值闭包算子的置信化问题,而且可以描述置信格值Galois联络现象。 展开更多
关键词 逻辑 置信 K-置信闭包算 K-置信Galois联络
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部