陕西省教育厅自然科学基金(09JK439)
- 作品数:4 被引量:9H指数:2
- 相关作者:许格妮罗清君王国俊王庆平关晓红更多>>
- 相关机构:西安财经学院陕西师范大学聊城大学更多>>
- 发文基金:陕西省教育厅自然科学基金国家自然科学基金更多>>
- 相关领域:理学更多>>
- 系统L在非均匀概率空间下命题的真度理论
- 2010年
- 将经典二值命题逻辑L中公式的真度概念推广到势为2的非均匀概率空间上;当p?(01)时,证明了全体公式的真度值之集在[0,1]中没有孤立点;利用真度定义公式间的p-相似度和伪距离,进而定义了p-逻辑度量空间,证明了该空间没有孤立点,并在此空间中提出了三种不同类型的近似推理模式。
- 许格妮
- R_0代数上的一致拓扑空间被引量:5
- 2013年
- 利用MP滤子F在R0代数M上诱导一致拓扑JF,得出了(M,JF)是不连通的、零维的、局部紧的、完全正则的第一可数空间,(M,JF)是T0空间当且仅当F={1}。证明了R0代数M中的运算',∨与→在(M,JF)中均连续。最后,讨论了商代数中一致拓扑的性质。
- 罗清君
- 关键词:R0代数MP滤子
- 可交换的s代数与格蕴涵代数
- 2010年
- 研究了一类模糊逻辑代数系统——交换s代数.给出了交换s代数一系列基本性质,证明了交换s代数关于其上的偏序关系≤构成格.最后,证明了在交换s代数中定义xy=x′→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义y=x′→y,则L是一个交换s代数.
- 许格妮关晓红
- 关键词:偏序集格蕴涵代数
- 计量逻辑学中的雪崩逻辑公式被引量:4
- 2012年
- 将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质。证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-12n-3≤k≤3×2n-3;n=3,4,…},在此基础上,通过引入函数ξ建立了n(n≥3)元雪崩布尔函数个数的表达式,给出了雪崩逻辑公式的构造方法。最后,研究了反射变换下k阶雪崩逻辑公式的性质。
- 王庆平王国俊
- 关键词:计量逻辑学真度