期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
推理闭包空间的分离性 被引量:1
1
作者 郭智莲 杨海龙 伏文清 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2012年第1期12-16,共5页
目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可... 目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质。 展开更多
关键词 推理闭包空间 结论闭集 结论开集 分离性
在线阅读 下载PDF
推理闭包算子及其诱导的空间 被引量:20
2
作者 吴洪博 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第1期9-13,共5页
目的建立一般非空集合X上的结论闭域和推理空间理论,并对它们的性质进行初步的探讨。方法通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭包算子建立拓扑空... 目的建立一般非空集合X上的结论闭域和推理空间理论,并对它们的性质进行初步的探讨。方法通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭包算子建立拓扑空间的思想提出了推理闭包空间理论。结果探求推理闭包空间的初步性质和模糊命题演算系统的基本性质。结论通过推理闭包空间的建立,丰富了模糊逻辑的研究方法,沟通了拓扑学和逻辑学之间的联系。 展开更多
关键词 模糊逻辑 命题演算 推理闭包算子 推理闭包空间
在线阅读 下载PDF
推理闭包子空间的基本性质及其交并运算
3
作者 高超 赵彬 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 2014年第3期351-354,共4页
文中在推理闭包空间基础上结合拓扑学的思想和方法,引入推理闭包子空间的概念,研究推理闭包空间之间连续映射的基本性质,并讨论原有推理闭包子空间与推理闭包空间中两个子空间的交(并)集形成的子空间的关系,明确了交(并)集上的结论闭域。
关键词 模糊逻辑 推理闭包空间 推理闭包算子 推理闭包空间 连续映射
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部