周纯阳
- 作品数：2 被引量：6H指数：2
- 供职机构：扬州大学数学科学学院更多>>
- 发文基金：国家自然科学基金江苏省高校自然科学研究项目更多>>
- 相关领域：理学更多>>
- 逻辑系统′Luk中命题积分真度的若干等式与不等式被引量：2
- 2009年
- 对′Lukasiewicz逻辑系统,利用序结构知识和赋值函数保并、交、补、蕴涵运算的性质研究了命题的积分真度,推出了若干关于积分真度的等式与不等式,修正完善了积分真度的交推理规则,给出了积分真度的等式与不等式的一些应用,使较复杂的积分真度计算得以简化,或进行较合理的估值。
- 崔美华徐罗山周纯阳
- 关键词：伪距离等式不等式
- 半群上的拓扑、偏序和相关Domain被引量：4
- 2010年
- 在半群G上引入了半群拓扑O[G]和半群偏序≤G,研究了它们的性质和相互联系,得到如下主要结论:(1)拓扑空间(G,O[G])中开集均为偏序集(G,≤G)的下集;(2)拓扑空间(G,O[G])为T1的当且仅当O[G]是离散的,当且仅当G中任意元是幂等元;(3)在集合包含序下O[G]为代数的完全分配格;(4)若(G,O[G])是T0空间,则O[G]是偏序集(G,≤G)上的对偶Alexandrov拓扑;(5)半群G是伪有限的当且仅当偏序集(G,≤Gop)是代数Domain。
- 周纯阳徐罗山
- 关键词：半群DOMAIN
